package tezos-protocol-014-PtKathma

  1. Overview
  2. Docs
package tezos-protocol-014-PtKathma
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_raw_protocol_014_PtKathma.Script_typed_ir_sizeSource

This module provides overapproximation of memory footprint for Michelson-related values.

These overapproximations are used by the cache to evaluate its own memory footprint and enforce declared limit over its size.

value_size ty v returns an overapproximation of the size of the in-memory representation of v of type ty.

lambda_size l returns an overapproximation of the size of the internal IR for the Michelson lambda abstraction l.

node_size root returns the size of the in-memory representation of root in bytes. This is an over-approximation of the memory actually consumed by root since no sharing is taken into account.

Pointwise addition (reexport from Cache_memory_helpers)

Zero vector (reexport from Cache_memory_helpers)

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct