Constant lean_sys::LEAN_MAX_CTOR_SCALARS_SIZE

source · 
pub const LEAN_MAX_CTOR_SCALARS_SIZE: u32 = 1024;