Module `Alpha_context.Gas`Source

Sourcemodule Arith : Fixed_point_repr.Safe

Sourcetype t = private

Sourceval encoding : t Tezos_protocol_environment_007_PsDELPH1.Data_encoding.encoding

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

Sourcetype cost

val cost_encoding : 
  cost Tezos_protocol_environment_007_PsDELPH1.Data_encoding.encoding

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

Sourcetype Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=

Sourcetype Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=

Sourcetype Tezos_protocol_environment_007_PsDELPH1.Error_monad.error +=

Sourceval free : cost

Sourceval atomic_step_cost : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost

Sourceval step_cost : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost

Sourceval alloc_cost : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost

Sourceval alloc_bytes_cost : int -> cost

Sourceval alloc_mbytes_cost : int -> cost

Sourceval read_bytes_cost : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost

Sourceval write_bytes_cost : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost

Sourceval (*@) : Tezos_protocol_environment_007_PsDELPH1.Z.t -> cost -> cost

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

val check_limit : 
  context ->
  'a Arith.t ->
  unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

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

Sourceval set_unlimited : context -> context

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

val check_enough : 
  context ->
  cost ->
  unit Tezos_protocol_environment_007_PsDELPH1.Error_monad.tzresult

Sourceval level : context -> t

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

Sourceval block_level : context -> Arith.fp

Sourceval cost_of_repr : Gas_limit_repr.cost -> cost

Install