Module Tezos_layer2_store.Context_sigs

module Equality_witness : sig ... end
type ('a, 'b, 'c) equality_witness = 'a Equality_witness.t * 'b Equality_witness.t * 'c Equality_witness.t
type cache_preference =
  1. | In_memory
    (*

    Cache immutable copies in memory (cheap for Irmin with structural sharing).

    *)
  2. | On_disk
    (*

    Commit states to disk and cache only the hash (for RISC-V where in-memory copies are expensive).

    *)

Preference for how PVM states should be cached in refutation games.

type ('a, 'repo) raw_index = {
  1. path : string;
  2. repo : 'repo;
}
type ('a, 'repo) index = ('a, 'repo) raw_index constraint 'a = [< `Read | `Write Read ]
type ('a, 'repo, 'state) t = {
  1. index : ('a, 'repo) index;
  2. state : 'state;
} constraint 'a = [< `Read | `Write Read ]
module type S = sig ... end