hax_lib::proc_macros

Attribute Macro protocol_messages

#[protocol_messages]
Expand description

A marker indicating an enum as describing the protocol messages.