package octez-protocol-alpha-libs

  1. Overview
  2. Docs
Octez protocol alpha libraries

Install

Dune Dependency

Authors

Maintainers

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

doc/octez-protocol-alpha-libs.test-helpers/Tezos_alpha_test_helpers/Adaptive_issuance_helpers/Frozen_tez/index.html

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
OCaml

Innovation. Community. Security.