pub unsafe extern "C" fn Cudd_CountMinterm( manager: *mut DdManager, node: *mut DdNode, nvars: c_int, ) -> f64