package tezos-protocol-019-PtParisB

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val get_cpmm_address : 
  Raw_context.t ->
  Contract_hash.t Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

Get the address of the Constant-Product Market Maker receiving the Liquidity Baking subsidy

val on_subsidy_allowed : 
  Raw_context.t ->
  per_block_vote:Per_block_votes_repr.per_block_vote ->
  (Raw_context.t ->
    Contract_hash.t ->
    (Raw_context.t * 'a list)
      Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
      Tezos_protocol_environment_019_PtParisB.Lwt.t) ->
  (Raw_context.t * 'a list * Per_block_votes_repr.Liquidity_baking_toggle_EMA.t)
    Tezos_protocol_environment_019_PtParisB.Error_monad.tzresult
    Tezos_protocol_environment_019_PtParisB.Lwt.t

on_subsidy_allowed ctxt ~per_block_vote f updates the toggle EMA according to toggle_vote. Then the callback function f is called if the following conditions are met:

the updated EMA is below the threshold,
the CPMM contract exists.

The role of the callback function f is to send the subsidy to the CPMM, see apply_liquidity_baking_subsidy in apply.ml.