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