package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t = {

contents : Script_repr.expr;
ty : Script_repr.expr;
ticketer : Contract_repr.t;

}

Representation of tickets for the ZKRU. This data is used by the Zk_rollup_publish operation to compute the ticket hashes needed to transfer tickets from the ZK Rollup to an implicit account.

val encoding : t Tezos_protocol_environment_016_PtMumbai.Data_encoding.t