Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Arith_pvm_in_memory :
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.PVM.S
with type context = Context_helpers.In_memory.Tree.t
and type state = Context_helpers.In_memory.tree
and type proof =
Tezos_context_memory.Context.Proof.tree
Tezos_context_memory.Context.Proof.t
Arith_pvm_in_memory
: Arith PVM with an in memory context Tezos_context_memory
.
module Wasm_pvm_in_memory :
Tezos_protocol_alpha.Protocol.Alpha_context.Sc_rollup.PVM.S
with type context = Context_helpers.In_memory.Tree.t
and type state = Context_helpers.In_memory.tree
and type proof =
Tezos_context_memory.Context.Proof.tree
Tezos_context_memory.Context.Proof.t
Wasm_pvm_in_memory
Wasm PVM with an in memory context Tezos_context_memory
.