open ImpPrelude
open HConsingDefs

val make_dict : 'a Dict.hash_params -> ('a, 'b) Dict.t
val xhCons: 'a hashP -> 'a hashConsing