vstd 0.0.0-2026-04-20-1748

Verus Standard Library: Useful specifications and lemmas for verifying Rust code
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

#[cfg(feature = "alloc")]
pub mod alloc;

pub mod atomic;
pub mod bits;
pub mod borrow;
pub mod clone;
pub mod cmp;
pub mod control_flow;
pub mod convert;
pub mod core;
pub mod default;
pub mod manually_drop;
pub mod maybe_uninit;
pub mod ops;

#[cfg(all(feature = "alloc", feature = "std"))]
pub mod btree;
#[cfg(all(feature = "alloc", feature = "std"))]
pub mod hash;

pub mod num;
pub mod option;
pub mod range;
pub mod result;

pub mod slice;

#[cfg(feature = "alloc")]
pub mod vec;

#[cfg(feature = "alloc")]
pub mod vecdeque;

#[cfg(feature = "alloc")]
pub mod smart_ptrs;

// This struct is a hack that exists purely to create
// a rustdoc page dedicated to 'assume_specification' specs
pub struct VstdSpecsForRustStdLib;