Juvix imports

module arch.node.types.anoma_message;

import arch.node.engines.template_messages open using {TemplateMsg};
import arch.node.engines.ticker_messages open using {TickerMsg};

Anoma Message

The Anoma message type contains all admissible messages that can be sent between nodes in the network. An Anoma message is of the type Msg. Each constructor of the type Msg corresponds to a specific type of message comming from a specific engine. For example, the engine TickerEngine has a corresponding message type TickerMsg.

type Msg :=
  | MsgTemplate TemplateMsg
  | MsgTicker TickerMsg;