rate-common-0.2.1
- rate-common 0.2.1
- Docs.rs crate page
- MIT
- Links
- Repository
- crates.io
- Source
- Owners
- krobelus
- Dependencies
- ansi_term ^0.12 normal
  atty ^0.2 normal
  bzip2 ^0.3 normal
  derive_more ^0.15 normal
  flate2 ^1.0 normal
  libc ^0.2 normal
  lz4 ^1.23 normal
  rate-macros ^0.2.1 normal
  scopeguard ^1.0 normal
  serde ^1.0 normal
  serde_derive ^1.0 normal
  static_assertions ^0.3 normal
  toml ^0.5 normal
  xz2 ^0.1 normal
  zstd ^0.4 normal
- Versions
Go to latest version
Platform
- x86_64-apple-darwin
- x86_64-unknown-linux-gnu
Feature flags

Rust

☰

Module sick

Structs

[−][src]Module rate_common::sick

SICK incorrectness certificates

Structs

Sick	A SICK certificate.
Witness	The refutation of an inference given a witness

Help

Keyboard Shortcuts

?: Show this help dialog
S: Focus the search field
↑: Move up in search results
↓: Move down in search results
↹: Switch tab
⏎: Go to active search result
+: Expand all sections
-: Collapse all sections

Search Tricks

Prefix searches with a type followed by a colon (e.g., fn:) to restrict the search to a given type.

Accepted types are: fn, mod, struct, enum, trait, type, macro, and const.

Search functions by type signature (e.g., vec -> usize or * -> vec)

Search multiple things at once by splitting your query with comma (e.g., str,u8 or String,struct:Vec,test)