package octez-protocol-alpha-libs

  1. Overview
  2. Docs
package octez-protocol-alpha-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Adaptive_issuance_helpers.Frozen_tezSource

Frozen_tez represents frozen stake and frozen unstaked funds. Properties:

  • sum of all current partial tez is an integer
  • Can only add integer amounts
  • Can always subtract integer amount (if lower than frozen amount)
  • If subtracting partial amount, must be the whole frozen amount (for given contract). The remainder is then distributed equally amongst remaining accounts, to keep property 1.
  • All entries of current are positive, non zero.
Sourcetype t = {
  1. delegate : string;
  2. initial : Tez.t;
  3. self_current : Tez.t;
  4. co_current : Partial_tez.t Tezos_base.TzPervasives.String.Map.t;
}
Sourceval zero : t
Sourceval union : t -> t -> t
Sourceval total_current : t -> Tez.t
Sourceval add_tez_to_all_current : Tez.t -> t -> t
Sourceval sub_tez_from_all_current : Tez.t -> t -> t
Sourceval sub_current_and_init : Tez.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t * Tez.t
Sourceval slash : Tez.t -> Tezos_protocol_alpha.Protocol.Int_percentage.t -> t -> t * Tez.t