BodyContents

charon_lib::ast::ullbc_ast

Type Alias BodyContents 

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

Aliased Type§

pub 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.