Mavryk_raw_protocol_001_PtAtLas.Ticket_costs_generated
module S = Saturation_repr
val cost_COLLECT_TICKETS_STEP : int -> S.may_saturate S.t
val cost_COMPARE_CONTRACT : S.may_saturate S.t
val cost_COMPARE_TICKET_HASH : S.may_saturate S.t
val cost_TYPE_HAS_TICKETS : int -> int