Structs

Per our convention, this message is sent to chain A. The handler will check proofs of chain B.

Constants