Juvix imports
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;
ReadFor Configuration¶
Overview¶
The ReadFor engine configuration contains static information for ReadFor engine instances.
The ReadFor Configuration¶
ReadsForCfg
¶
type ReadsForCfg := mk;
Instantiation¶
readsForCfg : EngineCfg ReadsForCfg :=
EngineCfg.mk@{
node := PublicKey.Curve25519PubKey "0xabcd1234";
name := "reads for";
cfg := ReadsForCfg.mk;
};