package tezos-protocol-alpha

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-alpha

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

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

Module Tezos_raw_protocol_alpha.Gas_input_sizeSource

Module `Tezos_raw_protocol_alpha.Gas_input_size`Source