Alpha_context.Clstval total_amount_of_tez :
context ->
Tez.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.ttotal_amount_of_tez ctxt returns the total amount of tez in the sTEZ staking ledger.
val add_redemption_request :
context ->
Contract.t ->
Cycle.t ->
Tez.t ->
context Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tadd_redemption_request ctxt contract cycle amount adds a redemption requests from contract at the given cycle of amount tez.
val finalize :
context ->
clst_contract:Contract.t ->
staker:Contract.t ->
(context * Receipt.balance_updates * Tez.t)
Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tmodule Delegates : sig ... endmodule For_RPC : sig ... end