charon_lib::ast

Module llbc_ast

source
Expand description

LLBC

MIR code where we have rebuilt the control-flow (if ... then ... else ..., while ..., …).

Also note that we completely break the definitions Statement and Terminator from MIR to use Statement only.

Re-exports§

Structs§

Enums§

Type Aliases§