module arch.node.engines.naming_config;

import prelude open;
import arch.node.engines.naming_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

Naming Configuration¶

Overview¶

The Naming engine configuration contains static information for Naming engine instances.

The Naming Configuration¶

NamingCfg¶

type NamingCfg := mkNamingCfg;

Instantiation¶

namingCfg : EngineCfg NamingCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "naming";
    cfg := mkNamingCfg;
  };