Module 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