Module Tezos_alpha_test_helpers.Tez_staking_helpersSource

Tez_staking_helpers defines different kinds of tez Modules that manipulate them in different ways. They involve more complicated operations, as they are related to staking, thus are represented as partial amounts, and are related to pseudotokens.

Sourcemodule Cycle = Tezos_protocol_alpha.Protocol.Alpha_context.Cycle
Sourcemodule Tez : sig ... end
Sourcemodule Partial_tez : sig ... end

Representation of Tez with non integer values

Sourcemodule Frozen_tez : sig ... end

Frozen_tez represents frozen stake and frozen unstaked funds. Properties:

Sourcemodule Unstaked_frozen : sig ... end

Representation of Unstaked frozen deposits

Sourcemodule Unstaked_finalizable : sig ... end

Representation of unstaked finalizable tez

Sourceval tez_to_pseudo : round:[ `Down | `Up ] -> Tez.t -> Z.t -> Frozen_tez.t -> Z.t

Pseudotoken helpers

Sourceval pseudo_to_partial_tez : Z.t -> Z.t -> Frozen_tez.t -> Q.t
Sourceval stake_values_real : Tez.t -> Z.t -> Frozen_tez.t -> Z.t * Q.t
Sourceval unstake_values_real : Tez.t -> Z.t -> Frozen_tez.t -> Z.t * Q.t