Fees (mavryk-protocol-alpha.Mavryk_raw_protocol_alpha.Alpha

val record_paid_storage_space : 
  context ->
  Contract_hash.t ->
  (context
   * Mavryk_protocol_environment_alpha.Z.t
   * Mavryk_protocol_environment_alpha.Z.t)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

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

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

val burn_storage_increase_fees : 
  ?origin:Receipt_repr.update_origin ->
  context ->
  payer:Token.giver ->
  Mavryk_protocol_environment_alpha.Z.t ->
  (context * Receipt.balance_updates)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

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

val burn_sc_rollup_origination_fees : 
  ?origin:Receipt.update_origin ->
  context ->
  storage_limit:Mavryk_protocol_environment_alpha.Z.t ->
  payer:Token.giver ->
  Mavryk_protocol_environment_alpha.Z.t ->
  (context * Mavryk_protocol_environment_alpha.Z.t * Receipt.balance_updates)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val burn_zk_rollup_origination_fees : 
  ?origin:Receipt.update_origin ->
  context ->
  storage_limit:Mavryk_protocol_environment_alpha.Z.t ->
  payer:Token.giver ->
  Mavryk_protocol_environment_alpha.Z.t ->
  (context * Mavryk_protocol_environment_alpha.Z.t * Receipt.balance_updates)
    Mavryk_protocol_environment_alpha.Error_monad.tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

type Mavryk_protocol_environment_alpha.Error_monad.error +=

| Cannot_pay_storage_fee

type Mavryk_protocol_environment_alpha.Error_monad.error +=

| Operation_quota_exceeded

type Mavryk_protocol_environment_alpha.Error_monad.error +=

| Storage_limit_too_high

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