Riscv_context (octez-l2-libs.Tezos_layer2_riscv_context.Riscv

type repo = Octez_riscv_pvm.Storage.Repo.t

type tree = Octez_riscv_pvm.Storage.State.t

type 'a raw_index = ('a, repo) Tezos_layer2_store.Context_sigs.raw_index

type 'a index = ('a, repo) Tezos_layer2_store.Context_sigs.index

type rw_index = [ `Read | `Write ] index

val impl_name : string

module Mutable_state : sig ... end

val equality_witness : 
  (repo, tree) Tezos_layer2_store.Context_sigs.equality_witness

type nonrec 'a t = ('a, repo, tree) Tezos_layer2_store.Context_sigs.t

type hash = Octez_riscv_pvm.Storage.Id.t

val context_hash_of_hash : 
  Octez_riscv_pvm.Storage.Id.t ->
  Tezos_layer2_store.Smart_rollup_context_hash.t

val hash_of_context_hash : 
  Tezos_layer2_store.Smart_rollup_context_hash.t ->
  Octez_riscv_pvm.Storage.Id.t

val load : 
  cache_size:int ->
  'a Tezos_layer2_store.Access_mode.t ->
  string ->
  ('a raw_index, 'b) Stdlib.result Lwt.t

val index : 
  ([< `Read | `Write Read ] as 'a, 'b, 'c) Tezos_layer2_store.Context_sigs.t ->
  ('a, 'b) Tezos_layer2_store.Context_sigs.index

val close : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  unit Lwt.t

val readonly : [< `Read | `Write Read ] index -> [ `Read ] index

val checkout : 
  ([< `Read | `Write Read ] as 'a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  Octez_riscv_pvm.Storage.Id.t ->
  ('a, Octez_riscv_pvm.Storage.Repo.t, Octez_riscv_pvm.Storage.State.t)
    Tezos_layer2_store.Context_sigs.t
    option
    Lwt.t

val empty : 
  ([< `Read | `Write Read ] as 'a, 'b) Tezos_layer2_store.Context_sigs.index ->
  ('a, 'b, Octez_riscv_pvm.Storage.State.t) Tezos_layer2_store.Context_sigs.t

val commit : 
  ?message:string ->
  ([< `Read | `Write Read ],
    Octez_riscv_pvm.Storage.Repo.t,
    Octez_riscv_pvm.Storage.State.t)
    Tezos_layer2_store.Context_sigs.t ->
  Octez_riscv_pvm.Storage.Id.t Lwt.t

val is_gc_finished : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  bool

val cancel_gc : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  bool

val split : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  unit

val gc : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  ?callback:(unit -> unit Lwt.t) ->
  hash ->
  unit Lwt.t

val wait_gc_completion : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  unit Lwt.t

val export_snapshot : 
  ('a, Octez_riscv_pvm.Storage.Repo.t)
    Tezos_layer2_store.Context_sigs.raw_index ->
  Octez_riscv_pvm.Storage.Id.t ->
  path:string ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

module PVMState : sig ... end

module Internal_for_tests : sig ... end