package tezos-protocol-012-Psithaca

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val record_paid_storage_space : 
  context ->
  Contract.t ->
  (context
   * Tezos_protocol_environment_012_Psithaca.Z.t
   * Tezos_protocol_environment_012_Psithaca.Z.t)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val record_global_constant_storage_space : 
  context ->
  Tezos_protocol_environment_012_Psithaca.Z.t ->
  context * Tezos_protocol_environment_012_Psithaca.Z.t

val burn_storage_fees : 
  ?origin:Receipt.update_origin ->
  context ->
  storage_limit:Tezos_protocol_environment_012_Psithaca.Z.t ->
  payer:Token.source ->
  Tezos_protocol_environment_012_Psithaca.Z.t ->
  (context
   * Tezos_protocol_environment_012_Psithaca.Z.t
   * Receipt.balance_updates)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

val burn_origination_fees : 
  ?origin:Receipt.update_origin ->
  context ->
  storage_limit:Tezos_protocol_environment_012_Psithaca.Z.t ->
  payer:Token.source ->
  (context
   * Tezos_protocol_environment_012_Psithaca.Z.t
   * Receipt.balance_updates)
    Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult
    Tezos_protocol_environment_012_Psithaca.Lwt.t

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Cannot_pay_storage_fee

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Operation_quota_exceeded

type Tezos_protocol_environment_012_Psithaca.Error_monad.error +=

| Storage_limit_too_high

val check_storage_limit : 
  context ->
  storage_limit:Tezos_protocol_environment_012_Psithaca.Z.t ->
  unit Tezos_protocol_environment_012_Psithaca.Error_monad.tzresult