Function lean_is_ref 

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

True if o is a Lean Ref object (lean.h:575).

Safety

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