Type Definition lean_sys::lean_external_finalize_proc

source · 
pub type lean_external_finalize_proc = Option<unsafe extern "C" fn(arg1: *mut c_void)>;