Contract (mavkit-protocol-001-PtAtLas-libs.Mavryk_001_PtAtLas_test

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

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

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

val balance : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.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 frozen_bonds : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val balance_and_frozen_bonds : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val staked_balance : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val unstaked_frozen_balance : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val unstaked_finalizable_balance : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t option
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val full_balance : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Tez.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val staking_numerator : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Environment.Z.t Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val counter : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Manager_counter.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val manager : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Account.t Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val is_manager_key_revealed : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  bool Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val delegate : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val delegate_opt : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Contract.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.public_key_hash option
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val storage : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val script : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Alpha_context.Script.expr
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t

val script_hash : 
  t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Contract_hash.t ->
  Mavryk_protocol_001_PtAtLas.Protocol.Script_expr_hash.t
    Mavryk_base.TzPervasives.tzresult
    Mavryk_protocol_001_PtAtLas.Environment.Lwt.t