trait_fn_decoration
hax_lib
0.3.5
In hax_
lib::
proc_
macros
hax_lib
::
proc_macros
Attribute Macro
trait_
fn_
decoration
Copy item path
#[trait_fn_decoration]