Sourceval path :
(Tezos_protocol_alpha.Environment.Updater.rpc_context,
Tezos_protocol_alpha.Environment.Updater.rpc_context
* Tezos_protocol_alpha.Environment.Signature.Public_key_hash.t)
Tezos_protocol_alpha.Environment.RPC_path.path Sourceval stakers_encoding :
(Tezos_raw_protocol_alpha__Alpha_context.public_key_hash
* Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
list
Tezos_protocol_alpha.Environment.Data_encoding.encoding Sourceval contract_stake :
Tezos_raw_protocol_alpha__Alpha_context.context ->
delegator_contract:Tezos_raw_protocol_alpha__Alpha_context.Contract.t ->
delegate:Tezos_raw_protocol_alpha__Alpha_context.public_key_hash ->
((Tezos_raw_protocol_alpha__Alpha_context.public_key_hash
* Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
option,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_environment_alpha.Error_monad.trace)
result
Lwt.t Sourceval check_delegate_registered :
Tezos_raw_protocol_alpha__Alpha_context.context ->
Tezos_raw_protocol_alpha__Alpha_context.public_key_hash ->
(unit,
Tezos_protocol_environment_alpha.Error_monad.error
Tezos_protocol_alpha.Environment.Error_monad.trace)
Tezos_protocol_environment_alpha.Pervasives.result
Lwt.t Sourceval register : unit -> unit Sourceval stakers :
'a Tezos_protocol_alpha.Environment.RPC_context.simple ->
'a ->
Tezos_protocol_alpha.Environment.Signature.Public_key_hash.t ->
(Tezos_raw_protocol_alpha__Alpha_context.public_key_hash
* Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
list
Tezos_protocol_environment_alpha.Error_monad.shell_tzresult
Tezos_protocol_environment_alpha.Lwt.t