Module Tezos_raw_protocol_alpha.Frozen_staker_repr

type t = private
  1. | Baker of Implicit_account_repr.t
    (*

    The baker itself.

    *)
  2. | Single_staker of {
    1. staker : Contract_repr.t;
    2. delegate : Implicit_account_repr.t;
    }
    (*

    A single staker, cannot be the delegate.

    *)
  3. | Shared_between_stakers of {
    1. delegate : Implicit_account_repr.t;
    }
    (*

    The delegate's stakers simultaneously (delegate excluded).

    *)
  4. | Baker_edge of Implicit_account_repr.t
    (*

    The baker edge over its stakers rewards.

    *)

Adding and removing stake can be done from/toward the funds

  • a delegate directly stakes,
  • one of its stakers stakes,
  • all its stakers stakes at once,
  • or from the edge a delegate may have on its stakers rewards. We need to distinguish these cases to enforce the staking over baking limit.
val baker : Implicit_account_repr.t -> t
val baker_edge : Implicit_account_repr.t -> t
val single_staker : staker:Contract_repr.t -> delegate:Implicit_account_repr.t -> t
val shared_between_stakers : delegate:Implicit_account_repr.t -> t
val compare : t -> t -> int