Token (mavryk-protocol-001-PtAtLas.Mavryk_raw_protocol_001_PtAtLas.Alpha

type container = [

| `Contract of Contract.t
| `Collected_commitments of Blinded_public_key_hash.t
| `Frozen_deposits of Receipt.frozen_staker
| `Unstaked_frozen_deposits of Receipt.unstaked_frozen_staker * Cycle.t
| `Block_fees
| `Frozen_bonds of Contract.t * Bond_id.t

]

type giver = [

| `Invoice
| `Bootstrap
| `Initial_commitments
| `Revelation_rewards
| `Attesting_rewards
| `Baking_rewards
| `Baking_bonuses
| `Minted
| `Liquidity_baking_subsidies
| `Sc_rollup_refutation_rewards
| container

]

type receiver = [

| `Storage_fees
| `Double_signing_punishments
| `Lost_attesting_rewards of public_key_hash * bool * bool
| `Burned
| `Sc_rollup_refutation_punishments
| container

]

val balance : 
  context ->
  [< `Block_fees | `Collected_commitments of Blinded_public_key_hash.t ] ->
  (context * Tez.t)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val transfer_n : 
  ?origin:Receipt.update_origin ->
  context ->
  ([< giver ] * Tez.t) list ->
  [< receiver ] ->
  (context * Receipt.balance_updates)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

val transfer : 
  ?origin:Receipt.update_origin ->
  context ->
  [< giver ] ->
  [< receiver ] ->
  Tez.t ->
  (context * Receipt.balance_updates)
    Mavryk_protocol_environment_001_PtAtLas.Error_monad.tzresult
    Mavryk_protocol_environment_001_PtAtLas.Lwt.t

module Internal_for_tests : sig ... end