mmb-types (cargo): Definitions of opcodes present in the Metamath Zero binary format
Keywords: metamath-zero