Cache (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Raw

include Mavryk_protocol_environment_001_PtAtLas.Context.CACHE
  with type t := t
   and type size := int
   and type index := int
   and type identifier := string
   and type key = Mavryk_protocol_environment_001_PtAtLas.Context.Cache.key
   and type value = Mavryk_protocol_environment_001_PtAtLas.Context.Cache.value

type key = Mavryk_protocol_environment_001_PtAtLas.Context.Cache.key

type value = Mavryk_protocol_environment_001_PtAtLas.Context.Cache.value = ..

val key_of_identifier : cache_index:int -> string -> key

val identifier_of_key : key -> string

val pp : Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> t -> unit

val find : 
  t ->
  key ->
  value option Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val set_cache_layout : 
  t ->
  int list ->
  t Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val update : t -> key -> (value * int) option -> t

val clear : t -> t

val list_keys : t -> cache_index:int -> (key * int) list option

val key_rank : t -> key -> int option

val future_cache_expectation : t -> time_in_blocks:int -> t

val cache_size : t -> cache_index:int -> int option

val cache_size_limit : t -> cache_index:int -> int option

val sync : t -> bytes -> t Mavryk_protocol_environment_001_PtAtLas.Lwt.t