Type Alias lean_sys::lean_external_finalize_proc
source · pub type lean_external_finalize_proc = Option<unsafe extern "C" fn(arg1: *mut c_void)>;
Aliased Type§
enum lean_external_finalize_proc {
None,
Some(unsafe extern "C" fn(_: *mut c_void)),
}