Function lean_closure_arg_cptr 

pub unsafe fn lean_closure_arg_cptr(
    o: *mut lean_object,
) -> *mut *mut lean_object

Pointer to the closure’s captured-argument array (lean.h:767).

Safety

Same as lean_closure_fun; valid for lean_closure_num_fixed(o) elements.