pub unsafe fn lean_get_external_class(o: *mut lean_object) -> *mut c_void
Read the external object’s class pointer (lean.h:1315–1317).
lean.h:1315–1317
o must be a borrowed Lean external object.
o