Skip to content
Juvix preamble 

module node_architecture.engines.template;

import prelude open;
import node_architecture.engines.template_overview open public;
import node_architecture.engines.template_environment open public;
import node_architecture.engines.template_dynamics open public;
import node_architecture.types.engine_family as Anoma;

Template engine family type

TemplateEngineFamily
  : Anoma.EngineFamily
    TemplateLocalState
    TemplateMailboxState
    TemplateTimerHandle
    TemplateMatchableArgument
    TemplateActionLabel
    TemplatePrecomputation :=
  Anoma.mkEngineFamily@{
    guards := [messageOneGuard];
    action := templateAction;
    conflictSolver := templateConflictSolver
  };