hax_lib::proc_macros

Attribute Macro opaque

#[opaque]
Expand description

Mark an item opaque: the extraction will assume the type without revealing its definition.