package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Gas_input_size/index.html

Module `Tezos_raw_protocol_alpha.Gas_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.

include module type of Gas_comparable_input_size

Sourcetype t = int

Sourcetype micheline_size = {

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

}

Sourceval encoding : t Tezos_protocol_environment_alpha.Data_encoding.encoding

Source

val micheline_size_encoding : 
  micheline_size Tezos_protocol_environment_alpha.Data_encoding.encoding

Sourceval zero : t

Sourceval add : t -> t -> t

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

Source

val pp_micheline_size : 
  Tezos_protocol_environment_alpha.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_alpha.Bytes.t -> t

Sourceval mutez : Alpha_context.Tez.tez -> t

Sourceval timestamp : Script_timestamp.t -> t

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

Sourceval list : 'a Script_list.t -> t

Sourceval set : 'a Script_typed_ir.set -> t

Sourceval map : ('a, 'b) Script_typed_ir.map -> t

Source

val of_micheline : 
  ('a, 'b) Tezos_protocol_environment_alpha.Micheline.node ->
  micheline_size

Sourceval sapling_transaction_inputs : Alpha_context.Sapling.transaction -> t

Sourceval sapling_transaction_outputs : Alpha_context.Sapling.transaction -> t

Sourceval sapling_transaction_bound_data : Alpha_context.Sapling.transaction -> t

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Gas_input_size/index.html

Module Tezos_raw_protocol_alpha.Gas_input_sizeSource

Module `Tezos_raw_protocol_alpha.Gas_input_size`Source