* http://cs.unibo.it/helm/.
*)
-module DiscriminationTreeIndexing =
+module DiscriminationTreeIndexing =
functor (A:Set.S) ->
struct
module DiscriminationTree = Trie.Make(PSMap);;
type t = A.t DiscriminationTree.t
- type elt = A.elt
let empty = DiscriminationTree.empty
(*