cudd_sys
pub unsafe extern "C" fn Cudd_bddVarMap( manager: *mut DdManager, f: *mut DdNode) -> *mut DdNode