Bare_structs.Hashtblinclude Bare_sigs.Hashtbl.Smodule type S = Bare_functor_outputs.Hashtbl.Smodule type SeededS = Bare_functor_outputs.Hashtbl.SeededSmodule MakeSeeded
(H : Stdlib.Hashtbl.SeededHashedType) :
SeededS with type key = H.tmodule type S_ES = Bare_functor_outputs.Hashtbl.S_ES