package octez-protocol-alpha-libs
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_tez
Source
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.
Source
type t = {
delegate : string;
initial : Tez.t;
self_current : Tez.t;
co_current : Partial_tez.t Tezos_base.TzPervasives.String.Map.t;
}
Source
val init :
Tez.t ->
Tezos_base.TzPervasives.String.Map.key ->
Tezos_base.TzPervasives.String.Map.key ->
t
Source
val add_q_to_all_co_current :
Q.t ->
Partial_tez.t Tezos_base.TzPervasives.String.Map.t ->
Partial_tez.t Tezos_base.TzPervasives.String.Map.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>