charon_lib::ast::ullbc_ast

Static START_BLOCK_ID

source
pub static START_BLOCK_ID: BlockId