Module Tezos_raw_protocol_013_PtJakart.Destination_reprSource

The type of the destination argument of the Operation_repr.manager_operation.Transaction manager operation.

The introduction of this type allows to interact with emerging layer-2 solutions using the API Tezos users and tooling are already used to: contract calls to entrypoint. These solutions cannot be integrated to Contract_repr.t directly, because values of this type are given a balance, which has an impact on the delegation system.

Sourcetype t =
  1. | Contract of Contract_repr.t
  2. | Tx_rollup of Tx_rollup_repr.t

This type is a superset of the set of contracts (Contract_repr.t).

Note: It is of key importance that the encoding of this type remains compatible with Contract_repr.encoding, for the introduction to this type to remain transparent from the existing tooling perspective.

include Tezos_protocol_environment_013_PtJakart.Compare.S with type t := t
val (=) : t -> t -> bool
val (<>) : t -> t -> bool
val (<) : t -> t -> bool
val (<=) : t -> t -> bool
val (>=) : t -> t -> bool
val (>) : t -> t -> bool
val compare : t -> t -> int
val equal : t -> t -> bool
val max : t -> t -> t
val min : t -> t -> t
Sourceval to_b58check : t -> string
Sourceval in_memory_size : t -> Cache_memory_helpers.sint

in_memory_size contract returns the number of bytes that are allocated in the RAM for contract.

Sourcetype Tezos_protocol_environment_013_PtJakart.Error_monad.error +=
  1. | Invalid_destination_b58check of string