mmb-types 0.3.1

Definitions of opcodes present in the Metamath Zero binary format

pub mod opcode;
pub use opcode::*;