Module `Tezos_raw_protocol_012_Psithaca.Cache_memory_helpers`Source

Sourcemodule Nodes : sig ... end

The Nodes module is used to count the number of computation steps performed when evaluating the size of the in-memory graph corresponding to an OCaml value.

Helpers to deal with computing the in-memory size of values

Sourcetype sint = Saturation_repr.may_saturate Saturation_repr.t

Sourcetype nodes_and_size = Nodes.t * sint

Sourceval (!!) : int -> Saturation_repr.may_saturate Saturation_repr.t

Source

val (+!) : 
  'a Saturation_repr.t ->
  'b Saturation_repr.t ->
  Saturation_repr.may_saturate Saturation_repr.t

Source

val (+?) : 
  'a Saturation_repr.t ->
  int ->
  Saturation_repr.may_saturate Saturation_repr.t

Source

val (*?) : 
  'a Saturation_repr.t ->
  int ->
  Saturation_repr.may_saturate Saturation_repr.t

Sourceval (/?) : 'a Saturation_repr.t -> int -> 'a Saturation_repr.t

Source

val (++) : 
  (Nodes.t * 'a Saturation_repr.t) ->
  (Nodes.t * 'b Saturation_repr.t) ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Sourceval zero : Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Sourceval word_size : Saturation_repr.may_saturate Saturation_repr.t

Sourceval header_size : Saturation_repr.may_saturate Saturation_repr.t

Sourceval int64_size : Saturation_repr.may_saturate Saturation_repr.t

Sourceval h1w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval h2w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval h3w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval h4w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval h5w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval hh3w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval hh6w : Saturation_repr.may_saturate Saturation_repr.t

Sourceval hh8w : Saturation_repr.may_saturate Saturation_repr.t

Source

val z_size : 
  Tezos_protocol_environment_012_Psithaca.Z.t ->
  Saturation_repr.may_saturate Saturation_repr.t

Sourceval string_size_gen : int -> Saturation_repr.may_saturate Saturation_repr.t

Sourceval bytes_size : bytes -> Saturation_repr.may_saturate Saturation_repr.t

Sourceval string_size : string -> Saturation_repr.may_saturate Saturation_repr.t

Source

val ret_adding : 
  ('a * 'b Saturation_repr.t) ->
  'c Saturation_repr.t ->
  'a * Saturation_repr.may_saturate Saturation_repr.t

Source

val ret_succ_adding : 
  (Nodes.t * 'a Saturation_repr.t) ->
  'b Saturation_repr.t ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Sourceval ret_succ : (Nodes.t * 'a) -> Nodes.t * 'a

Source

val option_size : 
  ('a -> 'b Saturation_repr.t) ->
  'a option ->
  Saturation_repr.may_saturate Saturation_repr.t

Source

val option_size_vec : 
  ('a -> Nodes.t * 'b Saturation_repr.t) ->
  'a option ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Source

val list_cell_size : 
  'a Saturation_repr.t ->
  Saturation_repr.may_saturate Saturation_repr.t

Source

val list_fold_size : 
  ('a -> Nodes.t * 'b Saturation_repr.t) ->
  'a list ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Source

val boxed_tup2 : 
  'a Saturation_repr.t ->
  'b Saturation_repr.t ->
  Saturation_repr.may_saturate Saturation_repr.t

Source

val node_size : 
  Script_repr.node ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Source

val expr_size : 
  Michelson_v1_primitives.prim
    Tezos_protocol_environment_012_Psithaca.Micheline.canonical ->
  Nodes.t * Saturation_repr.may_saturate Saturation_repr.t

Install

dune-project
Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Cache_memory_helpers/index.html

Module `Tezos_raw_protocol_012_Psithaca.Cache_memory_helpers`Source

Helpers to deal with computing the in-memory size of values

package tezos-protocol-012-Psithaca

Install

dune-project Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-012-Psithaca.raw/Tezos_raw_protocol_012_Psithaca/Cache_memory_helpers/index.html

Module Tezos_raw_protocol_012_Psithaca.Cache_memory_helpersSource

Helpers to deal with computing the in-memory size of values

dune-project
Dependency

Module `Tezos_raw_protocol_012_Psithaca.Cache_memory_helpers`Source