Mavryk_raw_protocol_alpha.Full_staking_balance_repr
val init :
own_frozen:Tez_repr.t ->
staked_frozen:Tez_repr.t ->
delegated:Tez_repr.t ->
current_level:Level_repr.t ->
t
val encoding : t Mavryk_protocol_environment_alpha.Data_encoding.t
val voting_weight :
t ->
Mavryk_protocol_environment_alpha.Int64.t
Mavryk_protocol_environment_alpha.Error_monad.tzresult
The weight of a delegate used for voting rights.
val apply_slashing : percentage:Percentage.t -> t -> t
val own_frozen : t -> Tez_repr.t
val staked_frozen : t -> Tez_repr.t
val current_delegated : t -> Tez_repr.t
val min_delegated_in_cycle : current_cycle:Cycle_repr.t -> t -> Tez_repr.t
val total_frozen :
t ->
Tez_repr.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
Sum of own_frozen
and staked_frozen
.
val current_total :
t ->
Tez_repr.t Mavryk_protocol_environment_alpha.Error_monad.tzresult
Sum of own_frozen
, staked_frozen
, and current_delegated
.
val own_ratio :
t ->
Mavryk_protocol_environment_alpha.Int64.t
* Mavryk_protocol_environment_alpha.Int64.t
own_ratio full_staking_balance
returns (num, den)
representing the ratio of own_frozen
over total_frozen
for full_staking_balance
. If total_frozen
is zero, the returned ratio is (1L, 1L)
.
val has_minimal_frozen_stake : minimal_frozen_stake:Tez_repr.t -> t -> bool
val has_minimal_stake_to_be_considered : minimal_stake:Tez_repr.t -> t -> bool
val remove_delegated :
current_level:Level_repr.t ->
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
val remove_own_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
val remove_staked_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
val add_delegated :
current_level:Level_repr.t ->
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
val add_own_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
val add_staked_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresult
module Internal_for_tests_and_RPCs : sig ... end