Function lean_ctor_obj_cptr

src/constructor.rs:11–14

(o: *mut lean_object)

#[inline(always)]
pub unsafe fn lean_ctor_obj_cptr(o: *mut lean_object) -> *mut *mut lean_object {
    debug_assert!(lean_is_ctor(o));
    raw_field!(lean_to_ctor(o), lean_ctor_object, m_objs) as *mut _
}

#[inline]
pub unsafe fn lean_ctor_scalar_cptr(o: *mut lean_object) -> *mut u8 {