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 Local Configuration¶

NamingLocalCfg¶

The type for engine-specific local configuration.

type NamingLocalCfg := mk;

The Naming Configuration¶

NamingCfg¶

NamingCfg : Type := EngineCfg NamingLocalCfg;

Instantiation¶

namingCfg : NamingCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "naming";
    cfg := NamingLocalCfg.mk;
  };