Module Core.CacheSource

Cache of post-conditions and evaluations

Sourceval debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
Sourceval opt_cache : int Stdlib.ref

Queue

Sourcemodule type KEY = sig ... end
Sourcemodule Queue (Key : KEY) : sig ... end

Cache

Sourcemodule Make (Domain : sig ... end) : sig ... end