hax_lib::proc_macros

Attribute Macro exclude

#[exclude]
Expand description

Exclude this item from the Hax translation.