Skip to content
Juvix imports 

module arch.node.types.anoma_config;

Anoma Engine ConfigurationΒΆ

An Anoma engine configuration contains static, read-only configuration for an engine. See Engine Configuration for more information.

Below is the definition of the type Config, which represents an Anoma engine configuration. This means that each Anoma engine instance has a constant configuration of type Config, initialised at creation.

For example, a configuration for an engine instance of the engine TickerEngine is of type TickerCfg.

type Cfg :=
  | CfgTicker
  | CfgCommitment
  | CfgDecryption;