tezos-protocol-012-Psithaca 20.1

module Delegate_sampler_state : sig ... end

val remove_stake : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val add_stake : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val deactivate_only_call_from_delegate_storage : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Lwt.t

val activate_only_call_from_delegate_storage : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val get_staking_balance : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val snapshot : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val select_distribution_for_cycle_do_not_call_except_for_migration : 
  Raw_context.t ->
  Cycle_repr.t ->
  (Raw_context.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key.t
      Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
      Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val clear_cycle : 
  Raw_context.t ->
  Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val init_first_cycles : 
  Raw_context.t ->
  (Raw_context.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key.t
      Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
      Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val fold : 
  Raw_context.t ->
  f:
    ((Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
      * Tez_repr.t) ->
      'a ->
      'a Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
        Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  order:[ `Sorted | `Undefined ] ->
  'a ->
  'a Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val select_new_distribution_at_cycle_end : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  (Raw_context.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
    Tezos_protocol_environment_012_Psithaca.Signature.Public_key.t
      Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
      Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val clear_at_cycle_end : 
  Raw_context.t ->
  new_cycle:Cycle_repr.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val get : 
  Raw_context.t ->
  Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
  Tez_repr.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val fold_on_active_delegates_with_rolls : 
  Raw_context.t ->
  order:[ `Sorted | `Undefined ] ->
  init:'a ->
  f:
    (Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t ->
      unit ->
      'a ->
      'a Tezos_protocol_environment_012_Psithaca.Lwt.t) ->
  'a Tezos_protocol_environment_012_Psithaca.Lwt.t

val get_selected_distribution : 
  Raw_context.t ->
  Cycle_repr.t ->
  (Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
   * Tez_repr.t)
    list
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val find_selected_distribution : 
  Raw_context.t ->
  Cycle_repr.t ->
  (Tezos_protocol_environment_012_Psithaca.Signature.Public_key_hash.t
   * Tez_repr.t)
    list
    option
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val prepare_stake_distribution : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

Copy the stake distribution for the current cycle (from Storage.Stake.Selected_distribution_for_cycle) in the raw context.

val get_total_active_stake : 
  Raw_context.t ->
  Cycle_repr.t ->
  Tez_repr.t Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

package tezos-protocol-012-Psithaca