Module charon_lib::ast::llbc_ast

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

• pub use super::llbc_ast_utils::*;
• pub use crate::ast::*;

Structs

• Block
• Statement

Enums

• RawStatement
  A raw statement: a statement without meta data.
• Switch

Type Aliases

• ExprBody