Function lean_sys::external::lean_get_external_class
source ยท pub unsafe fn lean_get_external_class(
o: *mut lean_object,
) -> *mut lean_external_classpub unsafe fn lean_get_external_class(
o: *mut lean_object,
) -> *mut lean_external_class