BodyContents

charon_lib::ast::ullbc_ast

Type Alias BodyContents 

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

Aliased Type§

pub struct BodyContents {
    vector: IndexVec<BlockId, BlockData>,
}

Fields§

§vector: IndexVec<BlockId, BlockData>