module tutorial.engines.template_config;

import tutorial.engines.template_messages open;

import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.identities open;

type TemplateLocalCfg :=
  mk@{
    example : Nat;
    value : String;
  };

TemplateCfg : Type := EngineCfg TemplateLocalCfg;

module template_config_example;
  
  exTemplateCfg : TemplateCfg :=
    EngineCfg.mk@{
      node := PublicKey.Curve25519PubKey "0xabcd1234";
      name := "template";
      cfg :=
        TemplateLocalCfg.mk@{
          example := 1;
          value := "hello world";
        };
    };
end;