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