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

module Token : sig ... end

type unstaked_frozen_staker =

type frozen_staker = private

val frozen_baker : 
  Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash ->
  frozen_staker

val frozen_single_staker : 
  staker:Contract.t ->
  delegate:Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash ->
  frozen_staker

val frozen_shared_between_stakers : 
  delegate:Mavryk_protocol_environment_001_PtAtLas.Signature.public_key_hash ->
  frozen_staker

type 'token balance =

| Contract : Contract.t -> Tez.t balance
| Block_fees : Tez.t balance
| Deposits : frozen_staker -> Tez.t balance
| Unstaked_deposits : unstaked_frozen_staker * Cycle.t -> Tez.t balance
| Nonce_revelation_rewards : Tez.t balance
| Attesting_rewards : Tez.t balance
| Baking_rewards : Tez.t balance
| Baking_bonuses : Tez.t balance
| Storage_fees : Tez.t balance
| Double_signing_punishments : Tez.t balance
| Lost_attesting_rewards : public_key_hash * bool * bool -> Tez.t balance
| Liquidity_baking_subsidies : Tez.t balance
| Burned : Tez.t balance
| Commitments : Blinded_public_key_hash.t -> Tez.t balance
| Bootstrap : Tez.t balance
| Invoice : Tez.t balance
| Initial_commitments : Tez.t balance
| Minted : Tez.t balance
| Frozen_bonds : Contract.t * Bond_id.t -> Tez.t balance
| Sc_rollup_refutation_punishments : Tez.t balance
| Sc_rollup_refutation_rewards : Tez.t balance
| Staking_delegator_numerator : {
1. delegator : Contract.t;
} -> Staking_pseudotoken.t balance
| Staking_delegate_denominator : {
1. delegate : public_key_hash;
} -> Staking_pseudotoken.t balance

val token_of_balance : 'token balance -> 'token Token.t

type 'token balance_update =

type update_origin =

| Block_application
| Protocol_migration
| Subsidy
| Simulation
| Delayed_operation of {
1. operation_hash : Mavryk_protocol_environment_001_PtAtLas.Operation_hash.t;
}

type balance_update_item = private

val item : 
  'token balance ->
  'token balance_update ->
  update_origin ->
  balance_update_item

type balance_updates = balance_update_item list

val balance_updates_encoding : 
  balance_updates Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t

val balance_updates_encoding_with_legacy_attestation_name : 
  balance_updates Mavryk_protocol_environment_001_PtAtLas.Data_encoding.t