package tezos-protocol-008-PtEdo2Zk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Lazy storage ids are kept as abstract as possible to avoid mixing them up.

Behind the scene they are Z.ts but, within the protocol, only parse_data/ unparse_data are allowed convert from/to it.

Temporary ids may be used to pass values between contracts that won't be kept longer than the lifetime of the operation. Behind the scene, temporary ids are negative Z.ts.

type t
val compare : t -> t -> int
val encoding : t Data_encoding.t
val rpc_arg : t Tezos_protocol_environment_008_PtEdo2Zk__Environment.RPC_arg.t
val init : t

Initial value for ids: zero.

val parse_z : Z.t -> t

In the protocol, to be used in parse_data only

val unparse_to_z : t -> Z.t

In the protocol, to be used in unparse_data only

val next : t -> t
val is_temp : t -> bool
val path_length : int
val to_path : t -> string list -> string list
val of_path : string list -> t option
val of_legacy_USE_ONLY_IN_Legacy_big_map_diff : Z.t -> t
val to_legacy_USE_ONLY_IN_Legacy_big_map_diff : t -> Z.t