tezos-protocol-010-PtGRANAD 20.1

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

type t = private

val encoding : t Tezos_protocol_environment_010_PtGRANAD.Data_encoding.encoding

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

type 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

type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

type Tezos_protocol_environment_010_PtGRANAD.Error_monad.error +=

val free : cost

val atomic_step_cost : 'a Saturation_repr.t -> cost

val step_cost : 'a Saturation_repr.t -> cost

val alloc_cost : 'a Saturation_repr.t -> cost

val alloc_bytes_cost : int -> cost

val alloc_mbytes_cost : int -> cost

val read_bytes_cost : int -> cost

val write_bytes_cost : int -> cost

val (*@) : 'a Saturation_repr.t -> cost -> cost

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

val check_limit_is_valid : 
  context ->
  'a Arith.t ->
  unit Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Checks that the given gas limit does not exceed the hard gas limit per operation

val consume_limit_in_block : 
  context ->
  'a Arith.t ->
  context Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Consumes gas equal to the given operation gas limit in the current block gas level of the context. May fail if not enough gas remains in the block

val set_limit : context -> 'a Arith.t -> context

Sets a limit to the consumable operation gas

val set_unlimited : context -> context

Allows unlimited gas consumption

val consume : 
  context ->
  cost ->
  context Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Consumes operation gas. May fail if not enough gas remains for the operation

val remaining_operation_gas : context -> Arith.fp

Returns the current gas counter.

val update_remaining_operation_gas : context -> Arith.fp -> context

Update gas counter in the context.

val gas_exhausted_error : 
  context ->
  'a Tezos_protocol_environment_010_PtGRANAD.Error_monad.tzresult

Triggers an error in case of gas exhaustion.

val level : context -> t

Returns operation gas level

val consumed : since:context -> until:context -> Arith.fp

Returns the operation gas level difference between two contexts. Returns Arith.zero if any of the contexts are set to unlimited gas

val block_level : context -> Arith.fp

Returns block gas level

val cost_of_repr : Gas_limit_repr.cost -> cost

package tezos-protocol-010-PtGRANAD