charon_lib::ast::ullbc_ast

Type Alias BodyContents

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

Aliased Type§

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

Fields§

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

The number of non-None elements.