module PosEqSet = Set.Make(OrderedPosEquality);;
-module DiscriminationTree = Trie.Make(PSMap);;
+(* module DiscriminationTree = Trie.Make(PSMap);; *)
-(*
module DiscriminationTree = struct
type key = path_string
type t = Node of PosEqSet.t option * (t PSMap.t)
traverse [] t acc
end
-*)
+
let string_of_discrimination_tree tree =
let rec to_string level = function
| DiscriminationTree.Node (value, map) ->