pub unsafe fn lean_alloc_closure( fun: *mut c_void, arity: c_uint, num_fixed: c_uint, ) -> lean_obj_res