Constant lean_sys::LeanMPZ

source · [−]
pub const LeanMPZ: u8 = 250;