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 ReadsForLocalCfg := mk;

ReadsForCfg : Type := EngineCfg ReadsForLocalCfg;

module reads_for_config_example;
  
  readsForCfg : ReadsForCfg :=
    EngineCfg.mk@{
      node := PublicKey.Curve25519PubKey "0xabcd1234";
      name := "reads for";
      cfg := ReadsForLocalCfg.mk;
    };
end;