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

pub const PROOF_THM_SAVE: u8 = 0x15;
Expand description

PROOF_THM_SAVE = 0x15: See ProofCmd.