List of all items
Structs
- specifications::common::SpecificationId
- specifications::preparser::Arg
- specifications::preparser::TypeCondSpecRefinement
Enums
- ExternSpecKind
- SpecAttributeKind
- specifications::common::SpecIdRef
- specifications::common::SpecType
- specifications::common::TryFromStringError
- specifications::preparser::NestedSpec
- specifications::untyped::AnyFnItem
Macros
Functions
- body_invariant
- body_variant
- closure
- extern_spec
- ghost
- invariant
- predicate
- print_counterexample
- prusti_assertion
- prusti_assume
- prusti_refutation
- refine_trait_spec
- rewrite_prusti_attributes
- rewrite_prusti_attributes_for_types
- specifications::preparser::parse_prusti
- specifications::preparser::parse_prusti_assert_pledge
- specifications::preparser::parse_prusti_pledge
- specifications::preparser::parse_type_cond_spec
- trusted
- type_model