bbtree 0.1.6

//! Code that Verus proves, with its specs and proofs
//! (`design/08-fuzzing-verification.md`), which the rest of the crate calls.
//! `cargo verus verify` checks the proofs; a normal build erases every spec
//! and proof, leaving only the code.
//!
//! - [`ProvenInlineKey`]: the std key types' inline keys, which their
//!   `InlineKey` impls return.
//! - [`SearchBytes`]: a std byte string searched for, whose inline keys
//!   and comparisons the searches and std byte strings' `InlineKey` impls
//!   use.
//! - `std_specs.rs`: what the std functions that the code calls do, trusted.
mod inline_key;
mod search_bytes;
mod std_specs;

pub(crate) use inline_key::ProvenInlineKey;
pub(crate) use search_bytes::SearchBytes;