charon_lib::ast::ullbc_ast_utils

Function mk_block

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