Staking (mavkit-protocol-001-PtAtLas-libs.Mavryk_protocol_plugin_001

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

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

module S : sig ... end

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

val check_delegate_registered : 
  Mavryk_raw_protocol_001_PtAtLas__Alpha_context.t ->
  Mavryk_protocol_environment_001_PtAtLas.Signature.Public_key_hash.t ->
  (unit,
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.error
      Mavryk_protocol_001_PtAtLas.Environment.Error_monad.trace)
    Mavryk_protocol_environment_001_PtAtLas.Pervasives.result
    Lwt.t

val register : unit -> unit

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