tezos-protocol-016-PtMumbai.raw
Tezos_raw_protocol_016_PtMumbai.Ticket_amount
tezos-protocol-016-PtMumbai
tezos-protocol-016-PtMumbai.environment
tezos-protocol-016-PtMumbai.lifted
tezos-protocol-016-PtMumbai.parameters
type t = private Script_int.n Script_int.num
val encoding : t Tezos_protocol_environment_016_PtMumbai.Data_encoding.t
val of_n : Script_int.n Script_int.num -> t option
val of_z : Script_int.z Script_int.num -> t option
val of_zint : Tezos_protocol_environment_016_PtMumbai.Z.t -> t option
val add : t -> t -> t
val sub : t -> t -> t option
val one : t