Mavryk_raw_protocol_alpha.Full_staking_balance_reprval init :
own_frozen:Tez_repr.t ->
staked_frozen:Tez_repr.t ->
delegated:Tez_repr.t ->
current_level:Level_repr.t ->
tval encoding : t Mavryk_protocol_environment_alpha.Data_encoding.tval voting_weight :
t ->
Mavryk_protocol_environment_alpha.Int64.t
Mavryk_protocol_environment_alpha.Error_monad.tzresultThe weight of a delegate used for voting rights.
val apply_slashing : percentage:Percentage.t -> t -> tval own_frozen : t -> Tez_repr.tval staked_frozen : t -> Tez_repr.tval current_delegated : t -> Tez_repr.tval min_delegated_in_cycle : current_cycle:Cycle_repr.t -> t -> Tez_repr.tval total_frozen :
t ->
Tez_repr.t Mavryk_protocol_environment_alpha.Error_monad.tzresultSum of own_frozen and staked_frozen.
val current_total :
t ->
Tez_repr.t Mavryk_protocol_environment_alpha.Error_monad.tzresultSum of own_frozen, staked_frozen, and current_delegated.
val own_ratio :
t ->
Mavryk_protocol_environment_alpha.Int64.t
* Mavryk_protocol_environment_alpha.Int64.town_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 -> boolval has_minimal_stake_to_be_considered : minimal_stake:Tez_repr.t -> t -> boolval remove_delegated :
current_level:Level_repr.t ->
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultval remove_own_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultval remove_staked_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultval add_delegated :
current_level:Level_repr.t ->
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultval add_own_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultval add_staked_frozen :
amount:Tez_repr.t ->
t ->
t Mavryk_protocol_environment_alpha.Error_monad.tzresultmodule Internal_for_tests_and_RPCs : sig ... end