package octez-l2-libs

  1. Overview
  2. Docs
Octez layer2 libraries

Install

Dune Dependency

Authors

Maintainers

Sources

octez-19.1.tar.gz
sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e
sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

doc/octez-l2-libs.webassembly-interpreter/Tezos_webassembly_interpreter/Tick_model/index.html

Module Tezos_webassembly_interpreter.Tick_model

This module implements a generic tick model. These values were benchmarked from `MemoryCopy`, `MemoryFill` and `MemoryInit`.

type tick
val zero : tick
val one : tick
val of_int32 : int32 -> tick option

of_int32 i returns the tick representation of i, or None if i is negative.

val of_int32_exn : int32 -> tick

of_int32_exn i returns the tick representation of i.

val to_int32 : tick -> int32 option

to_int32 t returns the signed int32 representation of t or None if t overflows the signed int32 representation.

val to_int32_exn : tick -> int32

to_int32_exn t returns the signed int32 representation of t.

val of_int64 : int64 -> tick option

of_int64 i returns the tick representation of i, or None if i is negative.

val of_int64_exn : int64 -> tick

of_int64_exn i returns the tick representation of i.

val to_int64 : tick -> int64 option

to_int64 t returns the signed int64 representation of t or None if t overflows the signed int64 representation.

val to_int64_exn : tick -> int64

to_int64_exn t returns the signed int64 representation of t.

val of_z : Z.t -> tick option
val to_z : tick -> Z.t
val (+) : tick -> tick -> tick

t1 + t2 returns the sum of t1 and t2

val (*) : tick -> tick -> tick

t1 * t2 returns the product of t1 and t2

val nop : tick

nop consumes zero tick. This is used specifically for `write_debug`.

val ticks_per_byte_copied : tick

ticks_per_byte_copied is the consumption for a byte read in the memory and written in the memory in the context of reading a chunk of bytes.

val ticks_per_byte_read : tick

ticks_per_byte_read is the consumption for a byte read from the memory in the context of reading a chunk of bytes.

val ticks_per_byte_written : tick

ticks_per_byte_written is the consumption for a byte written in the memory in the context of writing a chunk of bytes.

OCaml

Innovation. Community. Security.