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,
PiFunc: DD_PRIORITY_FUNCTION,
) -> *mut DdNode