- val index : t -> I.input -> A.elt -> t
- val remove_index : t -> I.input -> A.elt -> t
- val in_index : t -> I.input -> (A.elt -> bool) -> bool
- val retrieve_generalizations : t -> I.input -> A.t
- val retrieve_unifiables : t -> I.input -> A.t
+ val index : t -> input -> data -> t
+ val remove_index : t -> input -> data -> t
+ val in_index : t -> input -> (data -> bool) -> bool
+ val retrieve_generalizations : t -> input -> dataset
+ val retrieve_unifiables : t -> input -> dataset