package tezos-protocol-015-PtLimaPt
type t = {contents : Script_repr.lazy_expr;ty : Script_repr.lazy_expr;ticketer : Contract_repr.t;amount : Tx_rollup_l2_qty.t;claimer : Tezos_protocol_environment_015_PtLimaPt.Signature.Public_key_hash.t;
}A reveal provides what is necessary to recompute a Tx_rollup_withdrawal.t message.
val encoding : t Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t