package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module re-exports definitions from Sc_rollup_storage and Sc_rollup_repr.

module Tick : sig ... end
module Address : sig ... end
type rollup := t
val in_memory_size : t -> Cache_memory_helpers.sint
module Staker : sig ... end
module State_hash : sig ... end
module Metadata : sig ... end
module Inbox_merkelized_payload_hashes : sig ... end
type inbox_message = {
  1. inbox_level : Raw_level.t;
  2. message_counter : Tezos_protocol_environment_alpha.Z.t;
  3. payload : Inbox_message.serialized;
}
type reveal_data =
  1. | Raw_data of string
  2. | Metadata of Metadata.t
  3. | Dal_page of Dal.Page.content option
type input =
  1. | Inbox_message of inbox_message
  2. | Reveal of reveal_data
val inbox_message_equal : inbox_message -> inbox_message -> bool
val input_equal : input -> input -> bool
type reveal =
  1. | Reveal_raw_data of Sc_rollup_reveal_hash.t
  2. | Reveal_metadata
  3. | Request_dal_page of Dal.Page.t
type input_request =
  1. | No_input_required
  2. | Initial
  3. | First_after of Raw_level.t * Tezos_protocol_environment_alpha.Z.t
  4. | Needs_reveal of reveal
val input_request_equal : input_request -> input_request -> bool
module Inbox : sig ... end
module Outbox : sig ... end
type output = {
  1. outbox_level : Raw_level.t;
  2. message_index : Tezos_protocol_environment_alpha.Z.t;
  3. message : Outbox.Message.t;
}
module Dissection_chunk : sig ... end
module PVM : sig ... end
module Kind : sig ... end
module ArithPVM : sig ... end
module Wasm_2_0_0PVM : sig ... end
module Number_of_ticks : sig ... end
module Commitment : sig ... end
module Errors : sig ... end
module Proof : sig ... end
module Game : sig ... end
module Stake_storage : sig ... end
module Refutation_storage : sig ... end
module Internal_for_tests : sig ... end

This module discloses definitions that are only useful for tests and must not be used otherwise.

OCaml

Innovation. Community. Security.