cudd_sys
pub unsafe extern "C" fn Cudd_EquivDC( dd: *mut DdManager, F: *mut DdNode, G: *mut DdNode, D: *mut DdNode) -> c_int