charon_lib::ast

Module ullbc_ast

source
Expand description

“Unstructured LLBC” ast (ULLBC). This is LLBC before the control-flow reconstruction. In effect, this is a cleaned up version of MIR.

Re-exports§

Structs§

Enums§

Statics§

Type Aliases§