Module `Imandra_surface.Prelude_cache`

local cache for fast-loading prelude

type t

val create : unit -> t
val as_cache : t -> Check_cache.t
val size : t -> int
val save : string -> t -> unit
val of_string : string -> (t, string) Stdlib.result
val size : t -> int
val n_hits : t -> int
val n_miss : t -> int
val keys : t -> Check_cache.key Seq.t