diff options
Diffstat (limited to 'mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli')
| -rw-r--r-- | mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli b/mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli index e81681df..a74c721a 100644 --- a/mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli +++ b/mppa_k1c/abstractbb/Impure/ocaml/ImpHConsOracles.mli @@ -1,3 +1,4 @@ open ImpPrelude +val make_dict : 'a1 Dict.hash_params -> ('a1, 'a2) Dict.t val xhCons: (('a -> 'a -> bool) * ('a pre_hashV -> 'a hashV)) -> 'a hashConsing |