Key_cache_sync (key_cache.Key_cache

include Key_cache.Sync

type (!'a, !'b) t = ( 'a, 'b ) Key_cache.T(Core_kernel.Or_error).t = {

write : 'a -> 'b -> unit Core_kernel.Or_error.t;

read : 'a -> 'b Core_kernel.Or_error.t;

}

module Disk_storable : sig ... end

val read : 
  Key_cache.Spec.t list ->
  ( 'k, 'v ) Disk_storable.t ->
  'k ->
  ('v * [> `Cache_hit | `Locally_generated ]) Core_kernel.Or_error.t

val write : 
  Key_cache.Spec.t list ->
  ( 'k, 'v ) Disk_storable.t ->
  'k ->
  'v ->
  unit Core_kernel.Or_error.t