Function lean_is_ctor 

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

Constructor objects share tags 0..=LEAN_MAX_CTOR_TAG; this is the lean_is_ctor predicate from lean.h:565.

Safety

o must be a valid non-scalar Lean heap object pointer.