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§
pub use super::llbc_ast_utils::*;
pub use crate::ast::*;
Structs§
Enums§
- A raw statement: a statement without meta data.