Juvix imports

module node_architecture.types.anoma_message;

import node_architecture.engines.ticker_messages open;

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. For example, the engine TickerEngine has a corresponding message type TickerMsg.

type Msg := MsgTicker TickerMsg;