package tezos-protocol-014-PtKathma

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

High-level operations over smart contract rollups.

type Tezos_protocol_environment_014_PtKathma.Error_monad.error +=

| Sc_rollup_invalid_parameters_type
| Sc_rollup_invalid_atomic_batch

type origination_result = private {

address : Tezos_raw_protocol_014_PtKathma.Alpha_context.Sc_rollup.Address.t;
size : Tezos_protocol_environment_014_PtKathma.Z.t;

}

val originate : 
  Alpha_context.context ->
  kind:Alpha_context.Sc_rollup.Kind.t ->
  boot_sector:string ->
  parameters_ty:Script_repr.lazy_expr ->
  (origination_result * Alpha_context.context)
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t

originate context ~kind ~boot_sector adds a new rollup running in a given kind initialized with a boot_sector.

val execute_outbox_message : 
  Alpha_context.context ->
  Alpha_context.Sc_rollup.t ->
  Alpha_context.Sc_rollup.Commitment.Hash.t ->
  outbox_level:Alpha_context.Raw_level.t ->
  message_index:int ->
  inclusion_proof:string ->
  message:string ->
  Alpha_context.context
    Tezos_protocol_environment_014_PtKathma.Error_monad.tzresult
    Tezos_protocol_environment_014_PtKathma.Lwt.t