jon.recoil.org

Module File_cache.MakeSource

Parameters

module Input : sig ... end

Signature

Sourceval read : string -> Input.t
Sourceval flush : ?older_than:float -> unit -> unit
Sourceval clear : unit -> unit
Sourceval check : string -> bool
Sourceval get_cached_entry : string -> Input.t
  • raises Not_found

    if the file is not in cache.

Sourcetype cache_stats = {
  1. hit : int;
  2. miss : int;
}
Sourceval get_cache_stats : unit -> cache_stats
Sourceval clear_cache_stats : unit -> unit