package tezos-protocol-009-PsFLoren

  1. Overview
  2. Docs
package tezos-protocol-009-PsFLoren
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t =
  1. | Unaccounted
  2. | Limited of {
    1. remaining : Arith.fp;
    }
val encoding : t Data_encoding.t
val pp : Format.formatter -> t -> unit
val cost_encoding : cost Data_encoding.t
val pp_cost : Format.formatter -> cost -> unit
val raw_consume : Arith.fp -> cost -> Arith.fp option
val free : cost
val atomic_step_cost : _ Saturation_repr.t -> cost
val step_cost : _ Saturation_repr.t -> cost
val alloc_cost : _ 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 (*@) : _ Saturation_repr.t -> cost -> cost
val (+@) : cost -> cost -> cost