module arch.node.engines.router_environment;

import arch.node.engines.router_messages open;

import arch.node.types.basics open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;
import arch.node.types.anoma_message as Anoma open;

RouterMailboxState : Type := Unit;

type RouterLocalState := mk;

RouterTimerHandle : Type := Unit;

RouterTimestampedTrigger : Type :=
  TimestampedTrigger RouterTimerHandle Anoma.Msg;

RouterEnv : Type :=
  EngineEnv RouterLocalState RouterMailboxState RouterTimerHandle Anoma.Msg;

module router_environment_example;
  
  exRouterEnv : RouterEnv :=
    EngineEnv.mk@{
      localState := RouterLocalState.mk;
      mailboxCluster := Map.empty;
      acquaintances := Set.empty;
      timers := [];
    };

end;