module arch.node.types.engine; import prelude open; import arch.node.types.identities open; import arch.node.types.engine_config open public; import arch.node.types.engine_environment open public; import arch.node.types.engine_behaviour open public; type Engine C S B H A AM AC AE := mkEngine@{ cfg : EngineCfg C; env : EngineEnv S B H AM; behaviour : EngineBehaviour C S B H A AM AC AE; };