pub unsafe extern "C" fn Cudd_EstimateCofactor( dd: *mut DdManager, node: *mut DdNode, i: c_int, phase: c_int, ) -> c_int