Skip to content

Juvix imports

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

Instantiation¶

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