val remove_index : t -> Equality.equality -> t
val index : t -> Equality.equality -> t
val in_index : t -> Equality.equality -> bool
- val iter : t -> (PosEqSet.t -> unit) -> unit
+ val iter : t -> (Discrimination_tree.path -> PosEqSet.t -> unit) -> unit
end
module DT =