mm0b_parser::cmd
pub const PROOF_SORRY: u8 = 0x20;
PROOF_SORRY = 0x20: See ProofCmd.
PROOF_SORRY = 0x20
ProofCmd