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-16.0.tar.gz

sha256=ad9e08819871c75ba6f4530b125f7d157799398e4d77a1e6bfea9d91ff37ff55

sha512=c5dc4d40cc09bc6980fbbdb5c2e105bf4252cf9cfcb2b49660b0ebe4dc789f6709ec3b3bf2f87d81580d3eed9521eeb1c960f24d9b14eb0285aaba1f84d10a9b

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