List of all items

Structs

• Capture
• DataSpec
• LoopSpec
• LoopVariant
• PostCondition
• PreCondition
• Spec
• annotate::syntax::CaptureExpr
• annotate::syntax::SpecArg
• annotate::syntax::SpecArgs
• annotate::syntax::kw::binds
• annotate::syntax::kw::captures
• annotate::syntax::kw::decreases
• annotate::syntax::kw::deterministic
• annotate::syntax::kw::effectfree
• annotate::syntax::kw::ensures
• annotate::syntax::kw::functional
• annotate::syntax::kw::infallible
• annotate::syntax::kw::maintains
• annotate::syntax::kw::pure
• annotate::syntax::kw::requires
• annotate::syntax::kw::terminating
• annotate::syntax::kw::total
• instrument::Config
• qualifiers::FnQualifiers

Enums

• annotate::syntax::Captures
• annotate::syntax::Keyword
• annotate::syntax::SpecArgValue

Functions

• instrument::make_item_error