Constant lean_sys::LEAN_MAX_CTOR_FIELDS

source · 
pub const LEAN_MAX_CTOR_FIELDS: u32 = 256;