Constant lean_sys::LeanRef

source ·
pub const LeanRef: u8 = 253;