Skip to main content

mk_block

charon_lib::ast::bodies::unstructured

Function mk_block 

Source 
fn mk_block(span: Span, term: TerminatorKind, is_cleanup: bool) -> BlockData