exception ListTooShort
exception RelToHiddenHypothesis
+val syntactic_equality_add_time: float ref
val type_of_aux'_add_time: float ref
val number_new_type_of_aux'_double_work: int ref
val number_new_type_of_aux': int ref
sig
type 'a t
val find : 'a t -> Cic.term -> 'a
+ val empty: unit -> 'a t
end
;;