module arch.node.engines.wall_clock_messages;

import prelude open;

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

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

type WallClockMsg :=
  | WallClockGetTime
  | WallClockGetTimeResult TimeResult;