package tezos-smart-rollup-017-PtNairob

  1. Overview
  2. Docs

Module Tezos_smart_rollup_017_PtNairob.Pvm_in_memorySource

Sourcemodule type S = Tezos_protocol_017_PtNairob.Protocol.Alpha_context.Sc_rollup.PVM.S with type context = Tezos_smart_rollup_017_PtNairob.Context_helpers.In_memory.Tree.t and type state = Tezos_smart_rollup_017_PtNairob.Context_helpers.In_memory.tree and type proof = Tezos_context_memory.Context.Proof.tree Tezos_context_memory.Context.Proof.t
Sourcemodule Arith : S

Arith: Arith PVM with an in memory context Tezos_context_memory.

Sourcemodule Wasm : S

Wasm Wasm PVM with an in memory context Tezos_context_memory.

OCaml

Innovation. Community. Security.