Module Check_cache.Entry
type t= entry
val to_string : t -> stringval pp : t CCFormat.printerval serialize : t Imandra_util.Serialize.t
Check_cache.Entrytype t = entryval to_string : t -> stringval pp : t CCFormat.printerval serialize : t Imandra_util.Serialize.t