hax_lib::proc_macros

Attribute Macro include

#[include]
Expand description

Include this item in the Hax translation.