Mavryk_raw_protocol_001_PtAtLas.Frozen_staker_reprtype t = private | Baker of Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hashThe baker itself.
*)| Single_staker of {staker : Contract_repr.t;delegate : Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash;}A single staker, cannot be the delegate.
*)Adding and removing stake can be done from/toward a delegate, one of its staker, or all its stakers at once. We need to distinguish these cases to enforce the staking over baking limit.
val single_staker :
staker:Contract_repr.t ->
delegate:Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash ->
tval encoding : t Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t