Constant lean_sys::LEAN_CLOSURE_MAX_ARGS

source · 
pub const LEAN_CLOSURE_MAX_ARGS: u32 = 16;