Function Cudd_addApply 

pub unsafe extern "C" fn Cudd_addApply(
    dd: *mut DdManager,
    arg1: Option<unsafe extern "C" fn(arg1: *mut DdManager, arg2: *mut *mut DdNode, arg3: *mut *mut DdNode) -> *mut DdNode>,
    f: *mut DdNode,
    g: *mut DdNode,
) -> *mut DdNode