module arch.node.engines.mempool_worker_config; import prelude open; import arch.node.types.engine open; import arch.node.types.messages open; import arch.node.types.identities open; type MempoolWorkerLocalCfg := mk@{ keyToShard : KVSKey -> EngineID; }; MempoolWorkerCfg : Type := EngineCfg MempoolWorkerLocalCfg; module mempool_worker_config_example; mempoolWorkerCfg : MempoolWorkerCfg := EngineCfg.mk@{ node := PublicKey.Curve25519PubKey "0xabcd1234"; name := "mempool worker"; cfg := MempoolWorkerLocalCfg.mk@{ keyToShard := \{_ := mkPair none "shard"}; }; }; end;