charon_lib::ast

Module ullbc_ast_utils

Source
Expand description

Implementations for crate::ullbc_ast

Structs§

BodyBuilder
Helper to construct a small ullbc body.

Functions§

mk_block 🔒