tezos-010-PtGRANAD-test-helpers 10.2

val pp : 
  Tezos_protocol_010_PtGRANAD.Protocol.Environment.Format.formatter ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  unit

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

val pkh : 
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.public_key_hash,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

type balance_kind =

| Main
| Deposit
| Fees
| Rewards

val balance : 
  ?kind:balance_kind ->
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.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 counter : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Environment.Z.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val manager : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Account.t, Tezos_error_monad.TzCore.error list) Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val is_manager_key_revealed : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (bool, Tezos_error_monad.TzCore.error list) Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val delegate : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.public_key_hash,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val delegate_opt : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.public_key_hash option,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val storage : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val script : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Script.expr,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

val script_hash : 
  t ->
  Tezos_protocol_010_PtGRANAD.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_010_PtGRANAD.Protocol.Script_expr_hash.t,
    Tezos_error_monad.TzCore.error list)
    Stdlib.result
    Tezos_protocol_010_PtGRANAD.Protocol.Environment.Lwt.t

package tezos-010-PtGRANAD-test-helpers