package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_alpha.Ticket_costs_generated`Source

Sourcemodule S = Saturation_repr

Sourceval cost_COLLECT_TICKETS_STEP : int -> S.may_saturate S.t

Sourceval cost_COMPARE_CONTRACT : S.may_saturate S.t

Sourceval cost_COMPARE_TICKET_HASH : S.may_saturate S.t

Sourceval cost_TYPE_HAS_TICKETS : int -> int