lean_apply_m

lean_sys::closure

Function lean_apply_m 

Source 
pub unsafe extern "C" fn lean_apply_m(
    f: *mut lean_object,
    args: *mut *mut lean_object,
) -> *mut lean_object
Expand description

Pre: n > 16