pub trait Protocol {
type Addr: Address;
type Msg;
}Expand description
The statically known address and message signature of an actor protocol.
This signature is deliberately independent of Behavior’s transition
algebra. A Recipient or Delivery
needs to prove only which address namespace and message type it names; it
must not recursively prove the destination’s sends, births, phases, or
transition implementation. That separation permits closed static actor
topologies in which a root sends to an actor whose reply path returns to the
same root.