Function lean_sys::closure::lean_apply_m
source ยท pub unsafe extern "C" fn lean_apply_m(
f: *mut lean_object,
args: *mut *mut lean_object,
) -> *mut lean_objectExpand description
Pre: n > 16
pub unsafe extern "C" fn lean_apply_m(
f: *mut lean_object,
args: *mut *mut lean_object,
) -> *mut lean_objectPre: n > 16