Function lean_ctor_obj_cptr 

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

Pointer to the constructor’s object-field storage (lean.h:649–652).

Safety

o must be a borrowed Lean constructor object. The returned pointer is valid for lean_ctor_num_objs(o) *mut lean_object slots.