Module Mavryk_raw_protocol_001_PtAtLas.Gas_input_size

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 Script_int.num -> t
val string : string -> t
val script_string : Script_string.t -> t
val mumav : Alpha_context.Tez.mav -> t
val timestamp : Script_timestamp.t -> t
val size_of_comparable_value : 'a Script_typed_ir.comparable_ty -> 'a -> t
val list : 'a Script_list.t -> 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