Constant lean_sys::LeanScalarArray

source ·
pub const LeanScalarArray: u8 = 248;