Traced.Hashtblmodule type S =
  Traced_functor_outputs.Hashtbl.S with type 'error trace := 'error Trace.tracemodule type SeededS =
  Traced_functor_outputs.Hashtbl.SeededS
    with type 'error trace := 'error Trace.tracemodule MakeSeeded
  (H : Stdlib.Hashtbl.SeededHashedType) : 
  SeededS with type key = H.tmodule type S_ES =
  Traced_functor_outputs.Hashtbl.S_ES
    with type 'error trace := 'error Trace.trace