Constant z3_sys::Z3_ROUNDING_MODE_SORT
[−]
[src]
pub const Z3_ROUNDING_MODE_SORT: c_uint=10
pub const Z3_ROUNDING_MODE_SORT: c_uint=10