package tezos-protocol-015-PtLimaPt

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

Innovation. Community. Security.