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

pub const PROOF_TERM_SAVE: u8 = 0x11;
Expand description

PROOF_TERM_SAVE = 0x11: See ProofCmd.