package tezos-protocol-alpha

  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 Lwt.t) -> 'a Lwt.t

The domain of alive contracts

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:

Frozen balance, see 'delegate_storage.mli' for more explanation. Always update `Delegates_with_frozen_balance` accordingly.

Deprecated only used for migration

Deprecated only used for migration

The manager of a contract

The delegate of a contract, if any.

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.

OCaml

Innovation. Community. Security.