Check_cache.Key
type t
= key
val to_string : t -> string
val pp : t CCFormat.printer
val equal : t -> t -> bool
val hash : t -> int
val serialize : t Imandra_util.Serialize.t