hax_lib::proc_macros

Attribute Macro trait_fn_decoration

#[trait_fn_decoration]