package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type

Gas_input_size includes the definitions for the different sizes used in the gas models of the protocol. They do not always represent memory sizes, but rather they can be seen as an information size. They are tailored to the models that use them, and should not be used for anything other than gas computation.

include module type of Gas_comparable_input_size
type t = int
type micheline_size = {
  1. traversal : t;
  2. int_bytes : t;
  3. string_bytes : t;
}
val zero : t
val add : t -> t -> t
val to_int : t -> int
val of_int : int -> t
val integer : 'a Alpha_context.Script_int.num -> t
val string : string -> t
val script_string : Alpha_context.Script_string.t -> t
val mutez : Alpha_context.Tez.tez -> t
val size_of_comparable_value : 'a Script_typed_ir.comparable_ty -> 'a -> t
val list : 'a Script_typed_ir.boxed_list -> t
val set : 'a Script_typed_ir.set -> t
val map : ('a, 'b) Script_typed_ir.map -> t
val sapling_transaction_inputs : Alpha_context.Sapling.transaction -> t
val sapling_transaction_outputs : Alpha_context.Sapling.transaction -> t
val sapling_transaction_bound_data : Alpha_context.Sapling.transaction -> t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct