List of all items
Structs
Macros
- body_invariant
- body_variant
- closure
- ghost
- predicate
- prusti_assert
- prusti_assert_eq
- prusti_assert_ne
- prusti_assume
- prusti_refute
Attribute Macros
- after_expiry
- assert_on_expiry
- ensures
- extern_spec
- invariant
- model
- print_counterexample
- pure
- refine_spec
- refine_trait_spec
- requires
- terminates
- trusted
- verified