Constant lean_sys::LeanStructArray

source ·
pub const LeanStructArray: u8 = 247;