(* $Id$ *)
-module type Comparable =
+module Index (B : Terms.Blob) :
sig
- type t
- val is_eq : t -> t -> bool
- end
-
-module C : Comparable
+ module ClauseSet : Set.S with
+ type elt = Terms.direction * B.t Terms.unit_clause
-module FotermIndexable : Discrimination_tree.Indexable
-with type constant_name = C.t and
- type input = C.t Terms.foterm
+ module FotermIndexable : Discrimination_tree.Indexable with
+ type constant_name = B.t and
+ type input = B.t Terms.foterm
-module ClauseSet : Set.S with type elt = Terms.direction * C.t Terms.unit_clause
+ module DT : Discrimination_tree.DiscriminationTree with
+ type constant_name = B.t and
+ type input = B.t Terms.foterm and
+ type data = ClauseSet.elt and
+ type dataset = ClauseSet.t
-module DiscriminationTree : Discrimination_tree.DiscriminationTree
-with type constant_name = C.t
-and type input = C.t Terms.foterm
-and type data = ClauseSet.elt and type dataset = ClauseSet.t
+ end