Function lean_register_external_class 

pub unsafe extern "C" fn lean_register_external_class(
    finalize: lean_external_finalize_proc,
    foreach: lean_external_foreach_proc,
) -> *mut c_void

Register an external-object class. The returned pointer outlives the process; the runtime does not free registered classes (lean.h:303).