cudd2_sys

Function Cudd_FirstPrime

Source 
pub unsafe extern "C" fn Cudd_FirstPrime(
    dd: *mut DdManager,
    l: *mut DdNode,
    u: *mut DdNode,
    cube: *mut *mut c_int,
) -> *mut DdGen