module arch.node.engines.logging_config; import prelude open; import arch.node.engines.logging_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type LoggingLocalCfg := mk; LoggingCfg : Type := EngineCfg LoggingLocalCfg; module logging_config_example; loggingCfg : LoggingCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "logging"; cfg := LoggingLocalCfg.mk; }; end;