Tezos_raw_protocol_alpha.Clst_storageAbstraction for low level storage to handle CLST deposits, unstake requests and finalization.
This module is responsible for maintaining the Storage.Clst.Deposits_balance table.
val increase_deposit_only_call_from_token :
Raw_context.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tincrease_deposit_only_call_from_token ctxt amount increases the deposited amount of tez in the CLST contract. Such amount is considered frozen and not spendable.
val decrease_deposit_only_call_from_token :
Raw_context.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tdecrease_deposit_only_call_from_token ctxt amount decreases the deposited amount of tez in the CLST contract.
val increase_redeemed_frozen_deposit_only_call_from_token :
Raw_context.t ->
Cycle_repr.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tincrease_redeemed_frozen_deposit_only_call_from_token ctxt cycle amount increases the amount of tez redeemed for the given cycle.
val decrease_redeemed_frozen_deposit_only_call_from_token :
Raw_context.t ->
Cycle_repr.t ->
Tez_repr.t ->
Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
Tezos_protocol_environment_alpha.Lwt.tdecrease_redeemed_frozen_deposit_only_call_from_token ctxt cycle amount decreases the amount of tez redeemed for the given cycle.