Type Definition lean_sys::lean_external_foreach_proc
source · pub type lean_external_foreach_proc = Option<unsafe extern "C" fn(arg1: *mut c_void, arg2: b_lean_obj_arg)>;pub type lean_external_foreach_proc = Option<unsafe extern "C" fn(arg1: *mut c_void, arg2: b_lean_obj_arg)>;