Function Cudd_addMonadicApply 

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