opaque
hax_lib
0.3.5
hax_lib
Attribute Macro
opaque
Copy item path
#[opaque]
Expand description
Mark an item opaque: the extraction will assume the type without revealing its definition.