Skip to content
Juvix imports

module node_architecture.types.anoma_message;

import node_architecture.engines.ticker_overview open using {TickerMsg};

Anoma Messages

An Anoma message is a 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 family. For example, the engine family Ticker has a corresponding message type TickerMsg.

type Msg := MsgTicker TickerMsg;