package tezos-protocol-016-PtMumbai

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

This module re-exports definitions from Token.

type container = [

| `Contract of Contract.t
| `Collected_commitments of Blinded_public_key_hash.t
| `Delegate_balance of public_key_hash
| `Frozen_deposits of public_key_hash
| `Block_fees
| `Frozen_bonds of Contract.t * Bond_id.t

]

type source = [

| `Invoice
| `Bootstrap
| `Initial_commitments
| `Revelation_rewards
| `Double_signing_evidence_rewards
| `Endorsing_rewards
| `Baking_rewards
| `Baking_bonuses
| `Minted
| `Liquidity_baking_subsidies
| `Tx_rollup_rejection_rewards
| `Sc_rollup_refutation_rewards
| container

]

type sink = [

| `Storage_fees
| `Double_signing_punishments
| `Lost_endorsing_rewards of public_key_hash * bool * bool
| `Burned
| `Tx_rollup_rejection_punishments
| `Sc_rollup_refutation_punishments
| container

]

val allocated : 
  context ->
  container ->
  (context * bool) Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

val balance : 
  context ->
  container ->
  (context * Tez.t)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

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

val transfer : 
  ?origin:Receipt.update_origin ->
  context ->
  [< source ] ->
  [< sink ] ->
  Tez.t ->
  (context * Receipt.balance_updates)
    Tezos_protocol_environment_016_PtMumbai.Error_monad.tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t