module arch.node.engines.ticker_config; import prelude open; import arch.node.engines.ticker_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type TickerLocalCfg := mkTickerLocalCfg; TickerCfg : Type := EngineCfg TickerLocalCfg; module ticker_config_example; tickerCfg : TickerCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "ticker"; cfg := mkTickerLocalCfg; }; end;