module arch.node.types.engine_environment;

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

type EngineEnv S B H AM :=
  mkEngineEnv@{
    localState : S;
    mailboxCluster : Map MailboxID (Mailbox B AM);
    acquaintances : Set EngineName;
    timers : List (Timer H);
  };