module arch.node.engines.reads_for_config; import prelude open; import arch.node.engines.reads_for_messages open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type ReadsForCfg := mkReadsForCfg; module reads_for_config_example; readsForCfg : EngineCfg ReadsForCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "reads for"; cfg := mkReadsForCfg; }; end;