package tezos-protocol-013-PtJakart

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.