module arch.node.types.engine_config;

import arch.node.types.basics open public;
import arch.node.types.identities open;
import arch.node.types.messages open;

type EngineCfg C :=
  mkEngineCfg@{
    node : NodeID;
    name : EngineName;
    cfg : C;
  };

getEngineIDFromEngineCfg {C} (cfg : EngineCfg C) : EngineID :=
  mkPair (some (EngineCfg.node cfg)) (EngineCfg.name cfg);