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