package tezos-protocol-017-PtNairob

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

Storage from this submodule must only be accessed through the module `Contract`.

val fold : Raw_context.t -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(Contract_repr.t -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t

The domain of alive contracts

type local_context

The tez possessed by a contract and that can be used. A contract may also possess tez in frozen deposits. Empty balances (of zero tez) are only allowed for originated contracts, not for implicit ones.

If the value is not set, the delegate didn't miss any endorsing opportunity. If it is set, this value is a record of type missed_endorsements_info, where:

All contracts (implicit and originated) that are delegated, if any

The part of a delegate balance that can't be used. The total balance is frozen_deposits.current_amount + balance. It also stores the initial frozen balance in frozen_deposits.initial_amount. We have current_amount <= initial_amount and current_amount < initial_amount iff the delegate was slashed.

If there is a value, the frozen balance for the contract won't exceed it (starting in preserved_cycles + 1).

The last cycle where the delegate is considered active; that is, at the next cycle it will be considered inactive.

Current storage space in bytes. Includes code, global storage and big map elements.

Maximal space available without needing to burn new fees.

Associates a contract and a bond_id with a bond, i.e. an amount of tez that is frozen.

val fold_bond_ids : (Raw_context.t * Contract_repr.t) -> order:[ `Sorted | `Undefined ] -> init:'a -> f:(Bond_id_repr.t -> 'a -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t) -> 'a Tezos_protocol_environment_017_PtNairob.Lwt.t

Associates a contract with the total of all its frozen bonds.

OCaml

Innovation. Community. Security.