functor (A : Set.S) ->
sig
- val arities : (Cic.term, int) Hashtbl.t
-
- type key = Cic.term
type t
val empty : t
- 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
end