Contract_services (octez-protocol-025-PsUshuai-libs.Tezos_protocol_plugin_025_PsUshuai.Contract

type under_feature_flag =

| Stez
| SWRR

type Tezos_protocol_025_PsUshuai.Environment.Error_monad.error +=

| Non_activated_feature of under_feature_flag

val list : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t list
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

type info = {

balance : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t;
delegate : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key_hash option;
counter : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Manager_counter.t option;
script : Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.t option;
revealed : bool option;

}

val info_encoding : 
  info Tezos_protocol_025_PsUshuai.Environment.Data_encoding.t

val info : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  normalize_types:bool ->
  info Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val frozen_bonds : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val balance_and_frozen_bonds : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val staked_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val staking_numerator : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Staking_pseudotoken.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val unstaked_frozen_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val unstaked_finalizable_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val unstake_requests : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Unstake_requests.For_RPC.prepared_finalize_unstake
    option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val full_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val manager_key : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key_hash ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val delegate : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key_hash
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val delegate_opt : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key_hash option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val counter : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.public_key_hash ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Manager_counter.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val script : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.michelson_with_storage
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val script_opt : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.michelson_with_storage
    option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val storage : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val entrypoint_type : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Entrypoint.t ->
  normalize_types:bool ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val list_entrypoints : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  normalize_types:bool ->
  (Tezos_protocol_025_PsUshuai.Protocol.Michelson_v1_primitives.prim list list
   * (string * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr)
       list)
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val storage_opt : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val estimated_own_pending_slashed_amount : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Environment.Signature.public_key_hash ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val big_map_get : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Big_map.Id.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Script_expr_hash.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val contract_big_map_get_opt : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  (Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr) ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Script.expr option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val single_sapling_get_diff : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t ->
  ?offset_commitment:int64 ->
  ?offset_nullifier:int64 ->
  unit ->
  (Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Sapling.root
   * Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Sapling.diff)
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_contract_hash : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Contract_hash.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Script_int.n
    Tezos_protocol_025_PsUshuai.Protocol.Script_int.num
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_ticket_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Environment.Z.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_total_supply : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Script_int.n
    Tezos_protocol_025_PsUshuai.Protocol.Script_int.num
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_total_amount_of_tez : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_exchange_rate : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Environment.Q.t
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_redeemed_frozen_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_redeemed_finalizable_balance : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_025_PsUshuai.Protocol.Alpha_context.Tez.t option
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val stez_bakers : 
  'a Tezos_protocol_025_PsUshuai.Environment.RPC_context.simple ->
  'a ->
  (Tezos_protocol_025_PsUshuai.Environment.Signature.public_key_hash
   * Tezos_protocol_025_PsUshuai.Protocol.Clst_delegates_parameters_repr.t)
    list
    Tezos_protocol_025_PsUshuai.Environment.Error_monad.shell_tzresult
    Tezos_protocol_025_PsUshuai.Environment.Lwt.t

val register : unit -> unit

module Implem : sig ... end

Functions used in the implementation of this file's RPCs, but also useful elsewhere (as opposed to the functions above, which call the RPCs). These functions are gathered in a separate module to avoid naming conflicts.

module S : sig ... end