mm0b_parser::cmd
pub const PROOF_TERM: u8 = 0x10;
PROOF_TERM = 0x10: See ProofCmd.
PROOF_TERM = 0x10
ProofCmd