Module ingress 

Structs

Broadcast 🔒

Finalized 🔒

A finalization forwarded from the marshal actor to the application’s executor actor.

Genesis 🔒

Mailbox 🔒

Propose 🔒

Verify 🔒

Enums

Message 🔒

Messages forwarded from consensus to application.