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 Local Configuration¶

WallClockLocalCfg¶

The type for engine-specific local configuration.

type WallClockLocalCfg := mk;

The Wall Clock Configuration¶

WallClockCfg¶

WallClockCfg : Type := EngineCfg WallClockLocalCfg;

Instantiation¶

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