module PSMap = Map.Make(OrderedPathStringElement);;
-(* module PSTrie = Trie.Make(PathStringElementMap);; *)
-
module OrderedPosEquality = struct
type t = Utils.pos * Inference.equality
module PosEqSet = Set.Make(OrderedPosEquality);;
+module PSTrie = Trie.Make(PSMap);;
+
+(*
(*
* Trie: maps over lists.
* Copyright (C) 2000 Jean-Christophe FILLIATRE
traverse [] t acc
end
+*)
let index trie equality =