package tezos-protocol-012-Psithaca

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module 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

type nodes_and_size = Nodes.t * sint
val (/?) : 'a Saturation_repr.t -> int -> 'a Saturation_repr.t
val string_size_gen : int -> Saturation_repr.may_saturate Saturation_repr.t
val ret_succ : (Nodes.t * 'a) -> Nodes.t * 'a
val option_size : ('a -> 'b Saturation_repr.t) -> 'a option -> Saturation_repr.may_saturate Saturation_repr.t
val option_size_vec : ('a -> Nodes.t * 'b Saturation_repr.t) -> 'a option -> Nodes.t * Saturation_repr.may_saturate Saturation_repr.t
val list_fold_size : ('a -> Nodes.t * 'b Saturation_repr.t) -> 'a list -> Nodes.t * Saturation_repr.may_saturate Saturation_repr.t
OCaml

Innovation. Community. Security.