pub unsafe extern "C" fn Cudd_zddCountMinterm( zdd: *mut DdManager, node: *mut DdNode, path: c_int, ) -> f64