Tezos_raw_protocol_alpha.Clst_finalizationval finalize :
Raw_context.t ->
clst_contract:Contract_repr.t ->
staker:Contract_repr.t ->
Storage.Unstake_request.requests ->
(Raw_context.t
* Receipt_repr.balance_update_item list
* Tez_repr.t
* Storage.Unstake_request.requests,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Tezos_protocol_environment_alpha.Lwt.tfinalize ctxt ~clst_contract ~staker redemption_requests handles the finalization of staker's redemption_requests, moving the funds in clst_contract spendable balance, and returns the number of tez finalized and the remaining requests that are still slashable. It is then the responsibility of the CLST contract to transfer them to staker via an internal operation.
module For_RPC : sig ... end