Function lean_sys::closure::lean_alloc_closure
source · [−]pub unsafe fn lean_alloc_closure(
fun: *mut c_void,
arity: c_uint,
num_fixed: c_uint
) -> lean_obj_res
pub unsafe fn lean_alloc_closure(
fun: *mut c_void,
arity: c_uint,
num_fixed: c_uint
) -> lean_obj_res