Constant mm0b_parser::MAX_BOUND_VARS [−][src]
pub const MAX_BOUND_VARS: usize = 55;
The maximum number of bound variables supported by the MMB format.
pub const MAX_BOUND_VARS: usize = 55;
The maximum number of bound variables supported by the MMB format.