Docs.rs
rate-common-0.3.0
rate-common 0.3.0
Permalink
Docs.rs crate page
MIT
Links
Repository
crates.io
Source
Owners
krobelus
Dependencies
atty ^0.2
normal
bzip2 ^0.3
normal
derive_more ^0.99
normal
flate2 ^1.0
normal
libc ^0.2
normal
lz4 ^1.23
normal
rate-macros ^0.3.0
normal
scopeguard ^1.0
normal
serde ^1.0
normal
serde_derive ^1.0
normal
static_assertions ^1.1
normal
toml ^0.5
normal
xz2 ^0.1
normal
zstd ^0.5
normal
Versions
87.05%
of the crate is documented
Platform
x86_64-unknown-linux-gnu
Feature flags
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
rate_
common
0.3.0
Module sick
Module Items
Structs
Functions
In crate rate_
common
rate_common
Module
sick
Copy item path
Source
Expand description
SICK incorrectness certificates
Structs
§
Sick
A SICK certificate.
Witness
The refutation of an inference given a witness
Functions
§
check_
incorrectness_
certificate
Check a SICK certificate and prints an appropriate error message. Returns Ok(()) if accepted.