Expand description
Specifications for functions from Rust standard library but not specified in vstd.
These specifications are determined with careful inspection of the std library source code and documentation, and trusted as TCB.
They are subject to change if vstd covers more cases in the future.
Re-exports§
pub use deref::*;pub use ilog2::*;pub use manually_drop::*;pub use nonnull::*;pub use smart_ptr::*;