package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
package tezos-protocol-014-PtKathma
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
type input = {
  1. inbox_level : Raw_level.t;
  2. message_counter : Tezos_protocol_environment_014_PtKathma.Z.t;
  3. payload : string;
}
val input_equal : input -> input -> bool
type input_request =
  1. | No_input_required
  2. | Initial
  3. | First_after of Raw_level_repr.t * Tezos_protocol_environment_014_PtKathma.Z.t
val input_request_equal : input_request -> input_request -> bool
module Outbox : sig ... end
type output = {
  1. outbox_level : Raw_level.t;
  2. message_index : Tezos_protocol_environment_014_PtKathma.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 Commitment : sig ... end
module Inbox : 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 = Sc_rollup_arith.ProtocolImplementation.proof)
  3. | Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Sc_rollup_wasm.V2_0_0.ProtocolImplementation.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