module PosEqSet : Set.S
with type elt = Utils.pos * Equality.equality
and type t = Equality_indexing.DT.PosEqSet.t
- type t = Discrimination_tree.DiscriminationTreeIndexing(PosEqSet).t
+ type t =
+ Discrimination_tree.Make(Discrimination_tree.CicIndexable)(PosEqSet).t
end
val index : Index.t -> Equality.equality -> Index.t