Constant mm0b_parser::cmd::PROOF_UNFOLD[][src]

pub const PROOF_UNFOLD: u8 = 0x1B;
Expand description

PROOF_UNFOLD = 0x1B: See ProofCmd.