module arch.node.engines.wall_clock_messages;

import prelude open;

syntax alias StorageKey := String;
syntax alias StorageValue := String;
syntax alias EpochTimestamp := Nat;

type TimeResult :=
  mk@{
    epochTime : EpochTimestamp;
  };

type WallClockMsg :=
  | GetTime
  | GetTimeResult TimeResult;