module arch.node.engines.naming_config; import prelude open; import arch.node.engines.naming_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type NamingLocalCfg := mk; NamingCfg : Type := EngineCfg NamingLocalCfg; module naming_config_example; namingCfg : NamingCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "naming"; cfg := NamingLocalCfg.mk; }; end;