Module Splitter.Tags

module Tags: Qed.Listset.Make(sig
type t = Splitter.tag 
val compare : Splitter.tag -> Splitter.tag -> int
val equal : Splitter.tag -> Splitter.tag -> bool
end)