Module type LogtkIndex.TERM_IDX

module type TERM_IDX = sig .. end

type t 
type elt 
module Leaf: LogtkIndex.LEAF  with type elt = elt
val name : string
val empty : unit -> t
val is_empty : t -> bool
val size : t -> int
val add : t ->
LogtkIndex.term -> elt -> t
val remove : t ->
LogtkIndex.term -> elt -> t
val iter : t ->
(LogtkIndex.term -> elt -> unit) -> unit
val fold : t ->
('a -> LogtkIndex.term -> elt -> 'a) -> 'a -> 'a
val retrieve_unifiables : ?subst:LogtkIndex.subst ->
t ->
LogtkIndex.scope ->
LogtkIndex.term ->
LogtkIndex.scope ->
'a ->
('a -> LogtkIndex.term -> elt -> LogtkIndex.subst -> 'a) ->
'a
val retrieve_generalizations : ?allow_open:bool ->
?subst:LogtkIndex.subst ->
t ->
LogtkIndex.scope ->
LogtkIndex.term ->
LogtkIndex.scope ->
'a ->
('a -> LogtkIndex.term -> elt -> LogtkIndex.subst -> 'a) ->
'a
val retrieve_specializations : ?allow_open:bool ->
?subst:LogtkIndex.subst ->
t ->
LogtkIndex.scope ->
LogtkIndex.term ->
LogtkIndex.scope ->
'a ->
('a -> LogtkIndex.term -> elt -> LogtkIndex.subst -> 'a) ->
'a
val to_dot : (Buffer.t -> elt -> unit) ->
Buffer.t -> t -> unit
print oneself in DOT into the given file