Destination (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Alpha

type t =

| Contract of Contract.t
| Sc_rollup of Sc_rollup.t
| Zk_rollup of Zk_rollup.t

val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val pp : Mavryk_protocol_environment_001_PtAtLas.Format.formatter -> t -> unit

val compare : t -> t -> int

val equal : t -> t -> bool

val to_b58check : t -> string

val of_b58check : 
  string ->
  t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult

val in_memory_size : t -> Cache_memory_helpers.sint

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

type Mavryk_protocol_environment_001_PtAtLas.Error_monad.error +=

| Invalid_destination_b58check of string