Type Alias Panda__TaintedInstr_Closure 

pub type Panda__TaintedInstr_Closure = Option<unsafe extern "C" fn(*const _Panda__TaintedInstr, *mut c_void)>;

Aliased Type

pub enum Panda__TaintedInstr_Closure {
    None,
    Some(unsafe extern "C" fn(*const _Panda__TaintedInstr, *mut c_void)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(*const _Panda__TaintedInstr, *mut c_void))

Some value of type T.