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;

Wall Clock Configuration¶

Overview¶

The wall clock engine configuration contains the static configuration needed for the wall clock engine to function.

The Wall Clock Configuration¶

WallClockCfg¶

type WallClockCfg := mk;

Instantiation¶

wallClockCfg : EngineCfg WallClockCfg :=
  EngineCfg.mk@{
    node := PublicKey.Curve25519PubKey "0xabcd1234";
    name := "wall clock";
    cfg := WallClockCfg.mk;
  };