tezos-protocol-014-PtKathma 20.1

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 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

module State_hash : Tezos_protocol_environment_014_PtKathma.S.HASH

type input = {

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

}

val input_equal : input -> input -> bool

val input_encoding : 
  input Tezos_protocol_environment_014_PtKathma.Data_encoding.t

type input_request =

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

val input_request_encoding : 
  input_request Tezos_protocol_environment_014_PtKathma.Data_encoding.t

val input_request_equal : input_request -> input_request -> bool

module Outbox : sig ... end

type output = {

outbox_level : Raw_level.t;
message_index : Tezos_protocol_environment_014_PtKathma.Z.t;
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_messages : 
  Tezos_protocol_environment_014_PtKathma.Bounded.Int32.S

module Number_of_ticks : 
  Tezos_protocol_environment_014_PtKathma.Bounded.Int32.S

module Commitment : sig ... end

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

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

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

module Inbox : sig ... end

module Errors : sig ... end

module type PVM_with_proof = sig ... end

type 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)

module Proof : sig ... end

module Game : sig ... end

module Stake_storage : sig ... end

module Refutation_storage : sig ... end

val rpc_arg : t Tezos_protocol_environment_014_PtKathma.RPC_arg.t

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

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

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

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.

package tezos-protocol-014-PtKathma