charon_lib::ast::llbc_ast

Type Alias ExprBody

source
pub type ExprBody = GExprBody<Block>;

Aliased Type§

struct ExprBody {
    pub span: Span,
    pub locals: Locals,
    pub comments: Vec<(usize, Vec<String>)>,
    pub body: Block,
}

Fields§

§span: Span§locals: Locals

The local variables.

§comments: Vec<(usize, Vec<String>)>

For each line inside the body, we record any whole-line // comments found before it. They are added to statements in the late recover_body_comments pass.

§body: Block