tezos-012-Psithaca-test-helpers 12.3

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

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

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

val balance : 
  t ->
  Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_012_Psithaca.Protocol.Alpha_context.Tez.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.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_012_Psithaca.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_012_Psithaca.Protocol.Environment.Z.t,
    Tezos_error_monad.TzCore.error list)
    result
    Tezos_protocol_012_Psithaca.Protocol.Environment.Lwt.t

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

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

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

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

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

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

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

package tezos-012-Psithaca-test-helpers