package octez-protocol-alpha-libs

You can search for identifiers within the package.

in-package search v0.2.0

Octez protocol alpha libraries

Install

sha256=55ea1fb8bb3273a7fc270ca8f650d45c56449665619482aad9bc12f3ea736b7e

sha512=fec850fc2d17d7490bbabd5147d62aad13b3aaed8774270f8a38ab419670ed03e0fd30cf8642a97984eca5c2446726fe590ad99c015f7ec50919dc7652f25053

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 = {

}

Sourceval zero : t

val init : 
  Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  Tezos_base.TzPervasives.String.Map.key ->
  t

Sourceval union : t -> t -> t

Sourceval get : Tezos_base.TzPervasives.String.Map.key -> t -> Partial_tez.t

val total_co_current_q : 
  Partial_tez.t Tezos_base.TzPervasives.String.Map.t ->
  Partial_tez.t

Sourceval total_current : t -> Tez.t

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

Sourceval add_tez_to_all_current : Tez.t -> t -> t

Sourceval sub_tez_from_all_current : Tez.t -> t -> t

Sourceval add_current : Tez.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t

Sourceval add_init : Tez.t -> Tezos_base.TzPervasives.String.Map.key -> t -> t

val sub_current : 
  Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t * Tez.t

val sub_current_and_init : 
  Tez.t ->
  Tezos_base.TzPervasives.String.Map.key ->
  t ->
  t * Tez.t

val slash : 
  Tez.t ->
  Tezos_protocol_alpha.Protocol.Int_percentage.t ->
  t ->
  t * Tez.t