package tezos-protocol-alpha

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

This module groups everything related to delegate registration. For the invariants maintained, see the submodule Contract.

It also groups "trivial" getters/setters related to delegates.

It is responsible for maintaining the following tables:

module Contract : sig ... end

This module ensures the following invariants:

Has a delegate been registered in the delegate table?

Iterate on all registered delegates.

Returns a delegate's initial frozen deposits at the beginning of the previous cycle.

Fails with No_previous_cycle if there is no previous cycle.

Returns a delegate's current frozen deposits, which is the sum of their own frozen funds and those of their stakers if applicable.

module For_RPC : sig ... end

The functions in this module are considered too costly to be used in the protocol. They are meant to be used only to answer RPC calls.

OCaml

Innovation. Community. Security.