A collections of functions to introspect the concrete part of the ValidationMachine state.
val get_xtz_balance :
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t ->
t ->
(xtz, Tezos_error_monad.TzCore.error list) result Lwt.tget_xtz_balance c state returns the amount of mutez owned by c in the concrete part of state.
val get_tzbtc_balance :
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t ->
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env ->
t ->
(tzbtc, Tezos_error_monad.TzCore.error list) result Lwt.tget_tzbtc_balance c env state returns the amount of TzBTC owned by c in the concrete part of state, according to the TzBTC contract.
val get_liquidity_balance :
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t ->
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env ->
t ->
(liquidity, Tezos_error_monad.TzCore.error list) result Lwt.tget_liquidity_balance c env state returns the amount of liquidity token owned by c in the concrete part of state, according to the Liquidity contract.
val get_cpmm_total_liquidity :
Tezos_protocol_011_PtHangz2.Protocol.Alpha_context.Contract.t env ->
t ->
(liquidity, Tezos_error_monad.TzCore.error list) result Lwt.tget_cpmm_total_liquidity env state fetches the current amount of liquidity tokens distributed by the CPMM contract using the concrete part of the state state.