package tezos-protocol-015-PtLimaPt

  1. Overview
  2. Docs
package tezos-protocol-015-PtLimaPt
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 = Sc_rollup_repr.Address
type rollup := t
val in_memory_size : t -> Cache_memory_helpers.sint
module State_hash : sig ... end
module Inbox_message : sig ... end

See Sc_rollup_inbox_message_repr.

type inbox_message = {
  1. inbox_level : Raw_level.t;
  2. message_counter : Tezos_protocol_environment_015_PtLimaPt.Z.t;
  3. payload : Inbox_message.serialized;
}
type reveal_data =
  1. | Raw_data of string
type input =
  1. | Inbox_message of inbox_message
  2. | Reveal of reveal_data
val input_equal : input -> input -> bool
type reveal =
  1. | Reveal_raw_data of Input_hash.t
type input_request =
  1. | No_input_required
  2. | Initial
  3. | First_after of Raw_level.t * Tezos_protocol_environment_015_PtLimaPt.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_015_PtLimaPt.Z.t;
  3. message : Outbox.Message.t;
}
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 type PVM_with_proof = sig ... end
type wrapped_proof =
  1. | Unencodable of (module PVM_with_proof)
  2. | Arith_pvm_with_proof of (module PVM_with_proof with type proof = ArithPVM.Protocol_implementation.proof)
  3. | Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Wasm_2_0_0PVM.Protocol_implementation.proof)
val wrapped_proof_kind_exn : wrapped_proof -> Kind.t
val wrapped_proof_module : wrapped_proof -> (module PVM_with_proof)
module Proof : sig ... end
module Game : sig ... end
module Stake_storage : sig ... end
module Refutation_storage : sig ... end
module Dal_slot : 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