Bare.Hashtblmodule 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