module tutorial.engines.template_minimum_config;

import tutorial.engines.template_minimum_messages open;
import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

Template Minimum Configuration¶

Overview¶

The static configuration of the engine.

Local Configuration¶

TemplateMinimumLocalCfg¶

The type for engine-specific local configuration.

type TemplateMinimumLocalCfg := mkTemplateMinimumLocalCfg;

Engine Configuration¶

TemplateMinimumCfg¶

TemplateMinimumCfg : Type := EngineCfg TemplateMinimumLocalCfg;

Instantiation¶

exTemplateMinimumCfg : TemplateMinimumCfg :=
  mkEngineCfg@{
    node := Curve25519PubKey "0xabcd1234";
    name := "template-minimum";
    cfg := mkTemplateMinimumLocalCfg;
  };