with type elt = Utils.pos * Equality.equality
and type t = Equality_indexing.DT.PosEqSet.t
type t =
- Discrimination_tree.Make(Discrimination_tree.CicIndexable)(PosEqSet).t
+ Discrimination_tree.Make(Cic_indexable.CicIndexable)(PosEqSet).t
end
val check_for_duplicates : Cic.metasenv -> string -> unit