charon_lib::ast::ullbc_ast

Type Alias BodyContents

source 
pub type BodyContents = Vector<BlockId, BlockData>;

Aliased Type§

struct BodyContents {
    vector: IndexVec<BlockId, Option<BlockData>>,
    real_len: usize,
}

Fields§

§vector: IndexVec<BlockId, Option<BlockData>>§real_len: usize

The number of non-None elements.