mk_block

charon_lib::ast::ullbc_ast_utils

Function mk_block 

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