module arch.node.engines.pub_sub_topic_config; import arch.node.engines.pub_sub_topic_messages open; import arch.node.types.basics open; import arch.node.types.engine open; import arch.node.types.identities open; type PubSubTopicLocalCfg := mkPubSubTopicLocalCfg; PubSubTopicCfg : Type := EngineCfg PubSubTopicLocalCfg; module pub_sub_topic_config_example; exPubSubTopicCfg : PubSubTopicCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "pub-sub-topic"; cfg := mkPubSubTopicLocalCfg; }; end;