- val index : t -> key -> A.elt -> t
- val remove_index : t -> key -> A.elt -> t
- val in_index : t -> key -> (A.elt -> bool) -> bool
- val retrieve_generalizations : t -> key -> A.t
- val retrieve_unifiables : t -> key -> A.t
+ val index : t -> Cic.term -> A.elt -> t
+ val remove_index : t -> Cic.term -> A.elt -> t
+ val in_index : t -> Cic.term -> (A.elt -> bool) -> bool
+ val retrieve_generalizations : t -> Cic.term -> A.t
+ val retrieve_unifiables : t -> Cic.term -> A.t