package tezos-protocol-007-PsDELPH1

  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`.

module Global_counter : sig ... end
val fold : Raw_context.t -> init:'a -> f:(Contract_repr.t -> 'a -> 'a Lwt.t) -> 'a Lwt.t

The domain of alive contracts

All the tez possessed by a contract, including rolls and change

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

The manager of a contract

The delegate of a contract, if any.

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

The cycle where the delegate should be deactivated.

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

Maximal space available without needing to burn new fees.