module arch.node.engines.ticker_messages;

import prelude open;

type CountReply : Type :=
  mkCountReply@{
    counter : Nat;
  };

type TickerMsg :=
  | TickerMsgIncrement
  | TickerMsgCountRequest
  | TickerMsgCountReply CountReply;