package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
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

See Sc_rollup_tick_repr.

module Address : module type of struct include Tezos_protocol_environment_alpha.Smart_rollup.Address end
type rollup := t
val in_memory_size : t -> Cache_memory_helpers.sint
module Whitelist : sig ... end
module Staker : sig ... end
module State_hash : module type of struct include Tezos_protocol_environment_alpha.Smart_rollup.State_hash end
module Metadata : sig ... end

See Sc_rollup_metadata_repr.

module Dal_parameters : sig ... end

See Sc_rollup_dal_parameters_repr.

module Inbox_message : sig ... end

See Sc_rollup_inbox_message_repr.

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
  4. | Dal_parameters of Dal_parameters.t
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
  4. | Reveal_dal_parameters
type is_reveal_enabled = current_block_level:Raw_level.t -> reveal -> bool
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 type Generic_pvm_context_sig = sig ... end
module PVM : sig ... end
module Kind : sig ... end
val genesis_state_hash_of : boot_sector:string -> Kind.t -> State_hash.t Tezos_protocol_environment_alpha.Lwt.t
module ArithPVM : sig ... end
module Wasm_2_0_0PVM : sig ... end
module Riscv_PVM : 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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct