Function lean_sys::closure::lean_closure_arg_cptr
source ยท pub unsafe fn lean_closure_arg_cptr(
o: *mut lean_object,
) -> *mut *mut lean_object
pub unsafe fn lean_closure_arg_cptr(
o: *mut lean_object,
) -> *mut *mut lean_object