Constant lean_sys::LeanArray

source ·
pub const LeanArray: u8 = 246;