Function lean_sys::constructor::lean_ctor_obj_cptr
source · pub unsafe fn lean_ctor_obj_cptr(o: *mut lean_object) -> *mut *mut lean_object
pub unsafe fn lean_ctor_obj_cptr(o: *mut lean_object) -> *mut *mut lean_object