prusti-contracts-0.2.0
- prusti-contracts 0.2.0
- Permalink
- Docs.rs crate page
- MPL-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- prusti-devs
- Dependencies
- prusti-contracts-proc-macros ^0.2.0 normal
  trybuild ^1.0 dev
- Versions
- 70% of the crate is documented
Platform
Feature flags

Rust

In prusti_contracts

Attribute Macro prusti_contracts::terminates

#[terminates]

Expand description

A macro to annotate termination of a function