List of all items

Structs

• Capture
• PostCondition
• PreCondition
• Spec
• annotate::syntax::CaptureExpr
• annotate::syntax::SpecArg
• annotate::syntax::SpecArgs
• annotate::syntax::kw::binds
• annotate::syntax::kw::captures
• annotate::syntax::kw::ensures
• annotate::syntax::kw::maintains
• annotate::syntax::kw::requires
• instrument::Backend

Enums

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

Functions

• instrument::make_item_error