Type Alias lean_sys::lean_external_foreach_proc

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

Aliased Type

enum lean_external_foreach_proc {
    None,
    Some(unsafe extern "C" fn(_: *mut c_void, _: *mut lean_object)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: *mut c_void, _: *mut lean_object))

Some value of type T.