Function lean_sys::external::lean_register_external_class

pub unsafe extern "C" fn lean_register_external_class(
    _: lean_external_finalize_proc,
    _: lean_external_foreach_proc,
) -> *mut lean_external_class