cudd_sys
pub unsafe extern "C" fn Cudd_Density( dd: *mut DdManager, f: *mut DdNode, nvars: c_int) -> c_double