Sc_rollup (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha_context.Sc

module Tick : sig ... end

See Sc_rollup_tick_repr.

module Address : 
  module type of struct include Mavryk_protocol_environment_alpha.Smart_rollup.Address end

type t = Mavryk_protocol_environment_alpha.Smart_rollup.Address.t

type rollup := t

val in_memory_size : t -> Cache_memory_helpers.sint

val must_exist : 
  context ->
  t ->
  context Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

module Whitelist : sig ... end

module Staker : sig ... end

module State_hash : 
  module type of struct include Mavryk_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 = {

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

}

type reveal_data =

| Raw_data of string
| Metadata of Metadata.t
| Dal_page of Dal.Page.content option
| Dal_parameters of Dal_parameters.t

type input =

| Inbox_message of inbox_message
| Reveal of reveal_data

val pp_inbox_message : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  inbox_message ->
  unit

val inbox_message_equal : inbox_message -> inbox_message -> bool

val pp_reveal_data : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  reveal_data ->
  unit

val pp_input : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  input ->
  unit

val input_equal : input -> input -> bool

val input_encoding : input Mavryk_protocol_environment_alpha.Data_encoding.t

module Input_hash : Mavryk_protocol_environment_alpha.S.HASH

type reveal =

| Reveal_raw_data of Sc_rollup_reveal_hash.t
| Reveal_metadata
| Request_dal_page of Dal.Page.t
| Reveal_dal_parameters

type is_reveal_enabled = current_block_level:Raw_level.t -> reveal -> bool

val reveal_encoding : reveal Mavryk_protocol_environment_alpha.Data_encoding.t

val pp_reveal : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  reveal ->
  unit

val is_reveal_enabled_predicate : 
  Constants.Parametric.sc_rollup_reveal_activation_level ->
  is_reveal_enabled

type input_request =

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

val input_request_encoding : 
  input_request Mavryk_protocol_environment_alpha.Data_encoding.t

val input_request_equal : input_request -> input_request -> bool

val pp_input_request : 
  Mavryk_protocol_environment_alpha.Format.formatter ->
  input_request ->
  unit

module Inbox : sig ... end

module Outbox : sig ... end

type output = {

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

}

val output_encoding : output Mavryk_protocol_environment_alpha.Data_encoding.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 Mavryk_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

val originate : 
  ?whitelist:Whitelist.t ->
  context ->
  kind:Kind.t ->
  parameters_ty:Script.lazy_expr ->
  genesis_commitment:Commitment.t ->
  (t * Mavryk_protocol_environment_alpha.Z.t * Commitment.Hash.t * context)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

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

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

module Errors : sig ... end

module Proof : sig ... end

module Game : sig ... end

module Stake_storage : sig ... end

module Refutation_storage : sig ... end

val rpc_arg : t Mavryk_protocol_environment_alpha.RPC_arg.t

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

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

module Internal_for_tests : sig ... end

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