prusti-specs-0.1.4
Platform
Feature flags

docs.rs

Rust

prusti-specs 0.1.4

Internal Prusti crate for parsing specifications

Crate
Source
Builds
Feature flags

..
extern_spec_rewriter
specifications
type_cond_specs
type_model
common.rs
lib.rs
parse_closure_macro.rs
parse_quote_spanned.rs
predicate.rs
print_counterexample.rs
rewriter.rs
span_overrider.rs
spec_attribute_kind.rs
user_provided_type_params.rs