Module attr_dummy 

Macros

no_op 🔒

Functions

alias

assoc

constant

defs

extern_spec

generics

ignore

invariant

opaque

opts

proven_externally

qualifiers

refined_by

reflect

reft

reveal

should_fail

sig

spec

specs

trusted

trusted_impl