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; type TemplateMinimumLocalCfg := mkTemplateMinimumLocalCfg; TemplateMinimumCfg : Type := EngineCfg TemplateMinimumLocalCfg; module template_minimum_config_example; exTemplateMinimumCfg : TemplateMinimumCfg := mkEngineCfg@{ node := Curve25519PubKey "0xabcd1234"; name := "template-minimum"; cfg := mkTemplateMinimumLocalCfg; }; end;