Module `Alpha_context.Sc_rollup`Source

This module re-exports definitions from Sc_rollup_storage and Sc_rollup_repr.

Sourcemodule Tick : sig ... end

See Sc_rollup_tick_repr.

Sourcemodule Address = Sc_rollup_repr.Address

Sourcetype t = Sc_rollup_repr.t

type rollup := t

module Staker : 
  Tezos_protocol_environment_014_PtKathma.S.SIGNATURE_PUBLIC_KEY_HASH
    with type t =
           Tezos_protocol_environment_014_PtKathma.Signature.Public_key_hash.t

Sourcemodule State_hash : Tezos_protocol_environment_014_PtKathma.S.HASH

Sourcetype input = {

inbox_level : Raw_level.t;
message_counter : Tezos_protocol_environment_014_PtKathma.Z.t;
payload : string;

}

Sourceval input_equal : input -> input -> bool

Source

val input_encoding : 
  input Tezos_protocol_environment_014_PtKathma.Data_encoding.t

Sourcetype input_request =

| No_input_required
| Initial
| First_after of Raw_level_repr.t * Tezos_protocol_environment_014_PtKathma.Z.t

Source

val input_request_encoding : 
  input_request Tezos_protocol_environment_014_PtKathma.Data_encoding.t

Sourceval input_request_equal : input_request -> input_request -> bool

Sourcemodule Outbox : sig ... end

Sourcetype output = {

outbox_level : Raw_level.t;
message_index : Tezos_protocol_environment_014_PtKathma.Z.t;
message : Outbox.Message.t;

}

Sourcemodule PVM : sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule ArithPVM : sig ... end

Sourcemodule Wasm_2_0_0PVM : sig ... end

Source

module Number_of_messages : 
  Tezos_protocol_environment_014_PtKathma.Bounded.Int32.S

Source

module Number_of_ticks : 
  Tezos_protocol_environment_014_PtKathma.Bounded.Int32.S

Sourcemodule Commitment : sig ... end

Source

val originate : 
  context ->
  kind:Kind.t ->
  boot_sector:string ->
  parameters_ty:Script.lazy_expr ->
  (t * Tezos_protocol_environment_014_PtKathma.Z.t * context)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Source

val parameters_type : 
  context ->
  t ->
  (Script.lazy_expr option * context)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Source

val kind : 
  context ->
  t ->
  Kind.t option Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Sourcemodule Inbox : sig ... end

Sourcemodule Errors : sig ... end

Sourcemodule type PVM_with_proof = sig ... end

Sourcetype wrapped_proof =

| Unencodable of (module PVM_with_proof)
| Arith_pvm_with_proof of (module PVM_with_proof with type proof = Sc_rollup_arith.ProtocolImplementation.proof)
| Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Sc_rollup_wasm.V2_0_0.ProtocolImplementation.proof)

Sourcemodule Proof : sig ... end

Sourcemodule Game : sig ... end

Sourcemodule Stake_storage : sig ... end

Sourcemodule Refutation_storage : sig ... end

Sourceval rpc_arg : t Tezos_protocol_environment_014_PtKathma.RPC_arg.t

Source

val list : 
  context ->
  t list Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Source

val initial_level : 
  context ->
  t ->
  Raw_level.t Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Source

val get_boot_sector : 
  context ->
  t ->
  string Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

Sourcemodule Dal_slot : sig ... end

Sourcemodule Internal_for_tests : sig ... end

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

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Alpha_context/Sc_rollup/index.html

Module `Alpha_context.Sc_rollup`Source

package tezos-protocol-014-PtKathma

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-014-PtKathma.raw/Tezos_raw_protocol_014_PtKathma/Alpha_context/Sc_rollup/index.html

Module Alpha_context.Sc_rollupSource

Module `Alpha_context.Sc_rollup`Source