Staking (mavkit-protocol-alpha-libs.Mavryk_protocol_plugin

val path : 
  (Mavryk_protocol_alpha.Environment.Updater.rpc_context,
    Mavryk_protocol_alpha.Environment.Updater.rpc_context
    * Mavryk_protocol_alpha.Environment.Signature.Public_key_hash.t)
    Mavryk_protocol_alpha.Environment.RPC_path.path

val stakers_encoding : 
  (Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t)
    list
    Mavryk_protocol_alpha.Environment.Data_encoding.encoding

module S : sig ... end

val contract_stake : 
  Mavryk_raw_protocol_alpha__Alpha_context.t ->
  delegator_contract:Mavryk_raw_protocol_alpha__Alpha_context.Contract.t ->
  delegate:Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t ->
  ((Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t
    * Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t)
     option,
    Mavryk_protocol_environment_alpha.Error_monad.error
      Mavryk_protocol_environment_alpha.Error_monad.trace)
    Stdlib.result
    Lwt.t

val check_is_forbidden : 
  Mavryk_raw_protocol_alpha__Alpha_context.t ->
  Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t ->
  (bool, 'a) Stdlib.result Lwt.t

val register : unit -> unit

val stakers : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Environment.Signature.Public_key_hash.t ->
  (Mavryk_protocol_environment_alpha.Signature.Public_key_hash.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Tez.t)
    list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t