Skip to main content

vstd/std_specs/
mod.rs

1#[cfg(feature = "alloc")]
2pub mod alloc;
3
4pub mod array;
5pub mod atomic;
6pub mod bits;
7pub mod borrow;
8pub mod char;
9pub mod clone;
10pub mod cmp;
11pub mod control_flow;
12pub mod convert;
13pub mod core;
14pub mod default;
15pub mod fmt;
16pub mod iter;
17pub mod manually_drop;
18pub mod maybe_uninit;
19pub mod ops;
20pub mod pin;
21pub mod ptr;
22
23#[cfg(feature = "alloc")]
24pub mod btree;
25#[cfg(all(feature = "alloc", feature = "std"))]
26pub mod hash;
27
28pub mod num;
29pub mod option;
30pub mod range;
31pub mod result;
32
33pub mod slice;
34pub mod task;
35
36#[cfg(feature = "alloc")]
37pub mod vec;
38
39#[cfg(feature = "alloc")]
40pub mod vecdeque;
41
42#[cfg(feature = "alloc")]
43pub mod smart_ptrs;
44
45pub mod nonzero;
46
47// This struct is a hack that exists purely to create
48// a rustdoc page dedicated to 'assume_specification' specs
49pub struct VstdSpecsForRustStdLib;