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

Sourceval in_memory_size : t -> Cache_memory_helpers.sint

module Staker : 
  Tezos_protocol_environment_015_PtLimaPt.S.SIGNATURE_PUBLIC_KEY_HASH
    with type t = public_key_hash

Sourcemodule State_hash : sig ... end

Sourcemodule Inbox_message : sig ... end

See Sc_rollup_inbox_message_repr.

Sourcetype inbox_message = {

inbox_level : Raw_level.t;
message_counter : Tezos_protocol_environment_015_PtLimaPt.Z.t;
payload : Inbox_message.serialized;

}

Sourcetype reveal_data =

| Raw_data of string

Sourcetype input =

| Inbox_message of inbox_message
| Reveal of reveal_data

Sourceval input_equal : input -> input -> bool

Source

val input_encoding : 
  input Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourcemodule Input_hash : Tezos_protocol_environment_015_PtLimaPt.S.HASH

Sourcetype reveal =

| Reveal_raw_data of Input_hash.t

Sourcetype input_request =

| No_input_required
| Initial
| First_after of Raw_level.t * Tezos_protocol_environment_015_PtLimaPt.Z.t
| Needs_reveal of reveal

Source

val input_request_encoding : 
  input_request Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourceval input_request_equal : input_request -> input_request -> bool

Sourcemodule Inbox : sig ... end

Sourcemodule Outbox : sig ... end

Sourcetype output = {

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

}

Source

val output_encoding : 
  output Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t

Sourcemodule PVM : sig ... end

Sourcemodule Kind : sig ... end

Sourcemodule ArithPVM : sig ... end

Sourcemodule Wasm_2_0_0PVM : sig ... end

Sourcemodule Number_of_ticks : sig ... end

Sourcemodule Commitment : sig ... end

Source

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

Source

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

Source

val kind : 
  context ->
  t ->
  (context * Kind.t)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

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 = ArithPVM.Protocol_implementation.proof)
| Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Wasm_2_0_0PVM.Protocol_implementation.proof)

Sourceval wrapped_proof_kind_exn : wrapped_proof -> Kind.t

Sourceval wrapped_proof_module : wrapped_proof -> (module PVM_with_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_015_PtLimaPt.RPC_arg.t

Source

val list_unaccounted : 
  context ->
  t list Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

Source

val genesis_info : 
  context ->
  rollup ->
  (context * Commitment.genesis_info)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

Source

val get_boot_sector : 
  context ->
  t ->
  (context * string)
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
    Tezos_protocol_environment_015_PtLimaPt.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-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Sc_rollup/index.html

Module `Alpha_context.Sc_rollup`Source

package tezos-protocol-015-PtLimaPt

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Alpha_context/Sc_rollup/index.html

Module Alpha_context.Sc_rollupSource

Module `Alpha_context.Sc_rollup`Source