package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val name : string
val parse_boot_sector : string -> PVM.boot_sector option
type hash = State_hash.t
val proof_start_state : proof -> hash
val proof_stop_state : proof -> hash option
val proof_input_requested : proof -> input_request
val proof_input_given : proof -> input option
val install_boot_sector : state -> string -> state Tezos_protocol_environment_alpha.Lwt.t
val verify_origination_proof : proof -> string -> bool Tezos_protocol_environment_alpha.Lwt.t
type output_proof
val output_of_output_proof : output_proof -> output
val state_of_output_proof : output_proof -> State_hash.t
val verify_output_proof : output_proof -> bool Tezos_protocol_environment_alpha.Lwt.t
module Internal_for_tests : sig ... end