Delegate (tezos-protocol-alpha.Tezos_raw_protocol_alpha.Alpha

val check_not_tz5 : 
  Implicit_account_repr.t ->
  unit Tezos_protocol_environment_alpha.Error_monad.tzresult

val frozen_deposits_limit : 
  context ->
  Implicit_account_repr.t ->
  Tez.t option Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val set_frozen_deposits_limit : 
  context ->
  Implicit_account_repr.t ->
  Tez.t option ->
  context Tezos_protocol_environment_alpha.Lwt.t

val fold : 
  context ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:
    (Implicit_account_repr.t ->
      'a ->
      'a Tezos_protocol_environment_alpha.Lwt.t) ->
  'a Tezos_protocol_environment_alpha.Lwt.t

val list : 
  context ->
  Implicit_account_repr.t list Tezos_protocol_environment_alpha.Lwt.t

val drain : 
  context ->
  delegate:Implicit_account_repr.t ->
  destination:Implicit_account_repr.t ->
  (context * bool * Tez.t * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val cycle_end : 
  context ->
  Cycle.t ->
  (context * Receipt.balance_updates * Implicit_account_repr.t list)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val already_denounced : 
  context ->
  Implicit_account_repr.t ->
  Misbehaviour.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Already_denounced_storage.already_denounced.

type reward_and_burn = {

reward : Tez.t;
amount_to_burn : Tez.t;

}

type punishing_amounts = {

staked : reward_and_burn;
unstaked : (Cycle.t * reward_and_burn) list;

}

val punish_double_signing : 
  context ->
  operation_hash:Tezos_protocol_environment_alpha.Operation_hash.t ->
  Misbehaviour.t ->
  Implicit_account_repr.t ->
  rewarded:Implicit_account_repr.t ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Delegate_slashed_deposits_storage.punish_double_signing.

type level_participation =

| Participated
| Didn't_participate

val record_baking_activity_and_pay_rewards_and_fees : 
  context ->
  payload_producer:Implicit_account_repr.t ->
  block_producer:Implicit_account_repr.t ->
  baking_reward:Tez.t ->
  reward_bonus:Tez.t option ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val record_attesting_participation : 
  context ->
  delegate:Implicit_account_repr.t ->
  participation:level_participation ->
  attesting_slots:int ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val record_dal_participation : 
  context ->
  delegate:Implicit_account_repr.t ->
  number_of_slots_attested_by_delegate:int ->
  number_of_protocol_attested_slots:int ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val current_frozen_deposits : 
  context ->
  Implicit_account_repr.t ->
  Tez.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val initial_frozen_deposits : 
  context ->
  Implicit_account_repr.t ->
  (context * Tez.t) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val delegated_contracts : 
  context ->
  Implicit_account_repr.t ->
  Contract.t list Tezos_protocol_environment_alpha.Lwt.t

See Contract_delegate_storage.delegated_contracts.

val registered : 
  context ->
  Implicit_account_repr.t ->
  bool Tezos_protocol_environment_alpha.Lwt.t

val deactivated : 
  context ->
  Implicit_account_repr.t ->
  bool Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

val is_forbidden_delegate : t -> Implicit_account_repr.t -> bool

See Forbidden_delegates_storage.is_forbidden.

val last_cycle_before_deactivation : 
  context ->
  Implicit_account_repr.t ->
  Cycle.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Delegate_activation_storage.last_cycle_before_deactivation.

module Consensus_key : sig ... end

val prepare_stake_distribution : 
  context ->
  context Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

See Stake_storage.prepare_stake_distribution.

module Rewards : sig ... end

module Staking_parameters : sig ... end

module Shared_stake : sig ... end

module For_RPC : sig ... end

The functions in this module are considered too costly to be used in the protocol. They are meant to be used only to answer RPC calls.