package tezos-smart-rollup-016-PtMumbai

  1. Overview
  2. Docs

Arith_pvm_in_memory: Arith PVM with an in memory context Tezos_context_memory.

val proof_start_state : proof -> hash
val proof_stop_state : proof -> hash
val install_boot_sector : state -> string -> state Tezos_protocol_environment_016_PtMumbai.Lwt.t
val verify_origination_proof : proof -> string -> bool Tezos_protocol_environment_016_PtMumbai.Lwt.t
type output_proof
module Internal_for_tests : sig ... end