package tezos-protocol-019-PtParisB

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-019-PtParisB

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Tezos_raw_protocol_019_PtParisB.Gas_comparable_input_size`Source

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.

Gas_comparable_input_size is the restriction of Gas_input_size to comparable types.

Sourcetype t = int

Sourcetype micheline_size = {

traversal : t;
int_bytes : t;
string_bytes : t;

}

Sourceval encoding : t Tezos_protocol_environment_019_PtParisB.Data_encoding.encoding

Source

val micheline_size_encoding : 
  micheline_size Tezos_protocol_environment_019_PtParisB.Data_encoding.encoding

Sourceval zero : t

Sourceval add : t -> t -> t

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

Source

val pp_micheline_size : 
  Tezos_protocol_environment_019_PtParisB.Format.formatter ->
  micheline_size ->
  unit

Sourceval to_int : t -> int

Sourceval of_int : int -> t

Sourceval integer : 'a Script_int.num -> t

Sourceval string : string -> t

Sourceval script_string : Script_string.t -> t

Sourceval bytes : Tezos_protocol_environment_019_PtParisB.Bytes.t -> t

Sourceval mutez : Alpha_context.Tez.t -> t

Sourceval timestamp : Script_timestamp.t -> t

Sourceval size_of_comparable_value : 'a Script_typed_ir.comparable_ty -> 'a -> t

package tezos-protocol-019-PtParisB

Module Tezos_raw_protocol_019_PtParisB.Gas_comparable_input_sizeSource

Module `Tezos_raw_protocol_019_PtParisB.Gas_comparable_input_size`Source