package tezos-protocol-alpha

  1. Overview
  2. Docs
package tezos-protocol-alpha
Legend:
Library
Module
Module type
Parameter
Class
Class type

A carbonated storage for stakers (identified by their public key hashes) that are able to stake on commitments. If the storage is empty then the rollup is public (anyone can publish commitments for the rollup), otherwise it is private (only the members of the whitelist can publish commitments).

The type of elements.

Returns true if and only if the set contains no elements. Consumes Gas_repr.read_bytes_cost Z.zero.

Tells whether an elt is a member of the set. Consumes Gas_repr.read_bytes_cost Z.zero

Adds an elt as a member of the set. Consumes Gas_repr.write_bytes_cost <size of the new value>. Returns the the new size.

Adds an elt as a member of the set. Consumes Gas_repr.write_bytes_cost <size of the new value>. Returns the new size, and true if the value previously existed.

Removes an elt from the set ; does nothing if not a member. Consumes Gas_repr.write_bytes_cost Z.zero. Returns the freed size, and a boolean indicating if a value was already associated to this key.

Removes all elt from the set. Consumes Gas_repr.write_bytes_cost Z.zero.

This function does not returns the freed size. This is because it would need to fold over all keys or add a size accumulator and no usage exists so far.

val fold_keys_unaccounted : context -> order:[ `Sorted | `Undefined ] -> init:'acc -> f:(elt -> 'acc -> 'acc Tezos_protocol_environment_alpha.Lwt.t) -> 'acc Tezos_protocol_environment_alpha.Lwt.t
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