S (octez-protocol-alpha-libs.Tezos_protocol_plugin_alpha.Contract

val balance : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val spendable : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val frozen_bonds : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val balance_and_frozen_bonds : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val spendable_and_frozen_bonds : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val staked_balance : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val staking_numerator : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Staking_pseudotoken.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val unstaked_frozen_balance : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val unstaked_finalizable_balance : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val unstake_requests : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Unstake_requests.For_RPC.prepared_finalize_unstake
      option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val full_balance : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val manager_key : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Environment.Signature.Public_key.t option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val delegate : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Environment.Signature.Public_key_hash.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val counter : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val script : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

val storage : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_alpha.Environment.RPC_service.service

type normalize_types_query = {

normalize_types : bool;

}

val normalize_types_query : 
  normalize_types_query Tezos_protocol_alpha.Environment.RPC_query.t

val entrypoint_type : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    (Tezos_protocol_alpha.Environment.RPC_context.t
     * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t)
    * Tezos_protocol_alpha.Protocol.Alpha_context.Entrypoint.t,
    normalize_types_query,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_alpha.Environment.RPC_service.service

val list_entrypoints : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    normalize_types_query,
    unit,
    Tezos_protocol_alpha.Protocol.Michelson_v1_primitives.prim list list
    * (string * Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr) list)
    Tezos_protocol_alpha.Environment.RPC_service.service

val contract_big_map_get_opt : 
  ([ `POST ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr
    * Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr option)
    Tezos_protocol_alpha.Environment.RPC_service.service

val big_map_get : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    (Tezos_protocol_alpha.Environment.RPC_context.t
     * Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t)
    * Tezos_protocol_alpha.Protocol.Script_expr_hash.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr)
    Tezos_protocol_alpha.Environment.RPC_service.service

type big_map_get_all_query = {

offset : int option;
length : int option;

}

val rpc_arg_uint : int Tezos_protocol_alpha.Environment.RPC_arg.t

val big_map_get_all_query : 
  big_map_get_all_query Tezos_protocol_alpha.Environment.RPC_query.t

val big_map_get_all : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Big_map.Id.t,
    big_map_get_all_query,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr list)
    Tezos_protocol_alpha.Environment.RPC_service.service

val info : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    normalize_types_query,
    unit,
    info)
    Tezos_protocol_alpha.Environment.RPC_service.service

val list : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t list)
    Tezos_protocol_alpha.Environment.RPC_service.service

val estimated_own_pending_slashed_amount : 
  ([ `GET ],
    Tezos_protocol_alpha.Environment.RPC_context.t,
    Tezos_protocol_alpha.Environment.RPC_context.t
    * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t,
    unit,
    unit,
    Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t)
    Tezos_protocol_alpha.Environment.RPC_service.service

module Sapling : sig ... end