module arch.node.engines.wall_clock_config;

import prelude open;
import arch.node.engines.wall_clock_messages open;
import arch.node.types.engine open;
import arch.node.types.messages open;
import arch.node.types.identities open;

type WallClockCfg := mkWallClockCfg;

module wall_clock_config_example;
  
  wallClockCfg : EngineCfg WallClockCfg :=
    mkEngineCfg@{
      node := Curve25519PubKey "0xabcd1234";
      name := "wall clock";
      cfg := mkWallClockCfg;
    };
end;