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;