Constant mm0b_parser::cmd::STMT_AXIOM[−][src]

pub const STMT_AXIOM: u8 = 0x02;
Expand description

STMT_AXIOM = 0x02, starts an axiom declaration