hax_lib

Attribute Macro include

#[include]
Expand description

Include this item in the Hax translation.