Mavryk_raw_protocol_001_PtAtLas.Deposits_reprType representing unstaked frozen deposits.
initial_amount is the amount on which slashing should be based. current_amount is the current amount after slashing has happened.
There is a record per cycle.
The initial_amount may be increased during the current cycle only, when an unstake is requested.
TODO #5788: possibly rename fields
val encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.tval zero : tval (+?) :
t ->
Tez_repr.t ->
t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresultval (++?) :
t ->
t ->
t Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult