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;

Reads For Configuration¶

Overview¶

The Reads For engine configuration contains static information for Reads For engine instances.

The Reads For Configuration¶

ReadsForCfg¶

type ReadsForCfg := mkReadsForCfg;

Instantiation¶

readsForCfg : EngineCfg ReadsForCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "reads for";
    cfg := mkReadsForCfg;
  };