module PosEqSet = Set.Make(OrderedPosEquality);;
+
module PSTrie = Trie.Make(PSMap);;
(*
;;
+let retrieve_all trie term =
+ PSTrie.fold
+ (fun k v s -> PosEqSet.union v s) trie PosEqSet.empty
+;;
+
+
let string_of_pstrie trie =
let rec to_string level = function
| PSTrie.Node (v, map) ->