pub unsafe extern "C" fn Cudd_PrioritySelect(
dd: *mut DdManager,
R: *mut DdNode,
x: *mut *mut DdNode,
y: *mut *mut DdNode,
z: *mut *mut DdNode,
Pi: *mut DdNode,
n: c_int,
arg1: Option<unsafe extern "C" fn(arg1: *mut DdManager, arg2: c_int, arg3: *mut *mut DdNode, arg4: *mut *mut DdNode, arg5: *mut *mut DdNode) -> *mut DdNode>,
) -> *mut DdNode