include Index.TERM_IDX with type elt = X.tmodule Leaf : Index_intf.LEAF with type elt = eltval empty : unit -> tval is_empty : t -> boolval size : t -> intval add : t -> Index_intf.term -> elt -> tval add_seq : t -> (Index_intf.term * elt) Iter.t -> tval add_list : t -> (Index_intf.term * elt) list -> tval remove : t -> Index_intf.term -> elt -> tval remove_seq : t -> (Index_intf.term * elt) Iter.t -> tval remove_list : t -> (Index_intf.term * elt) list -> tval iter : t -> (Index_intf.term -> elt -> unit) -> unitval fold : t -> ('a -> Index_intf.term -> elt -> 'a) -> 'a -> 'aval retrieve_unifiables :
?subst:Unif_subst.t ->
t Scoped.t ->
Index_intf.term Scoped.t ->
(Index_intf.term * elt * Unif_subst.t) Iter.tval retrieve_generalizations :
?subst:Index_intf.subst ->
t Scoped.t ->
Index_intf.term Scoped.t ->
(Index_intf.term * elt * Index_intf.subst) Iter.tval retrieve_specializations :
?subst:Index_intf.subst ->
t Scoped.t ->
Index_intf.term Scoped.t ->
(Index_intf.term * elt * Index_intf.subst) Iter.tval to_dot : elt CCFormat.printer -> t CCFormat.printerprint oneself in DOT into the given file
val default_fp : fingerprint_funval empty_with : fingerprint_fun -> tEmpty index, using the given fingerprint function
val get_fingerprint : t -> fingerprint_fun