package tezos-protocol-013-PtJakart

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type order = {

claimer : Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t;
ticket_hash : Ticket_hash_repr.t;
amount : Tx_rollup_l2_qty.t;

}

A withdraw order gives right to a L1 address claimer to retrieve the quantity amount of a ticket whose hash is ticket_hash. Withdrawals result from layer-2-to-layer-1 transfers, and from failed layer-2 deposits.

type t = order

val encoding : t Tezos_protocol_environment_013_PtJakart.Data_encoding.t