Contract (octez-protocol-alpha-libs.Tezos_alpha_test

val pp : 
  Stdlib.Format.formatter ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  unit

val equal : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  bool

val pkh : 
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash

val balance : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Returns the balance of a contract, by default the main balance. If the contract is implicit the frozen balances are available too: deposit, fees or rewards.

val frozen_bonds : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val balance_and_frozen_bonds : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val staked_balance : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val unstaked_frozen_balance : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val unstaked_finalizable_balance : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val full_balance : 
  ?__LOC__:string ->
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Tez.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

Calls /chains/<chain_id>/blocks/<block_id>/contracts/<contract_id>/full_balance.

If the contract is a delegate, also calls /chains/<chain_id>/blocks/<block_id>/delegates/<contract_pkh>/own_full_balance and checks that both RPCs return the same value.

val staking_numerator : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Z.t Tezos_base.TzPervasives.tzresult Lwt.t

val counter : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Manager_counter.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val manager : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Account.t Tezos_base.TzPervasives.tzresult Lwt.t

val is_manager_key_revealed : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  bool Tezos_base.TzPervasives.tzresult Lwt.t

val delegate : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val delegate_opt : 
  t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.public_key_hash option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val storage : 
  t ->
  Tezos_protocol_alpha.Protocol.Contract_hash.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val script : 
  t ->
  Tezos_protocol_alpha.Protocol.Contract_hash.t ->
  Tezos_protocol_alpha.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val script_hash : 
  t ->
  Tezos_protocol_alpha.Protocol.Contract_hash.t ->
  Tezos_protocol_alpha.Protocol.Script_expr_hash.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t