package tezos-protocol-010-PtGRANAD

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7

sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

module Arith : 
  Fixed_point_repr.Full
    with type 'a t = Saturation_repr.may_saturate Saturation_repr.t

Sourcetype t =

Sourceval encoding : t Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

Sourceval pp : Tezos_protocol_environment_010_PtGRANAD.Format.formatter -> t -> unit

Sourcetype cost = Saturation_repr.may_saturate Saturation_repr.t

val cost_encoding : 
  cost Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

val pp_cost : 
  Tezos_protocol_environment_010_PtGRANAD.Format.formatter ->
  cost ->
  unit

Sourceval raw_consume : Arith.fp -> cost -> Arith.fp option

Sourceval free : cost

Sourceval atomic_step_cost : _ Saturation_repr.t -> cost

Sourceval step_cost : _ Saturation_repr.t -> cost

Sourceval alloc_cost : _ Saturation_repr.t -> cost

Sourceval alloc_bytes_cost : int -> cost

Sourceval alloc_mbytes_cost : int -> cost

Sourceval read_bytes_cost : int -> cost

Sourceval write_bytes_cost : int -> cost

Sourceval (*@) : _ Saturation_repr.t -> cost -> cost

Sourceval (+@) : cost -> cost -> cost