creusot_std/
std.rs

1//! Specifications for the `std` crate
2mod array;
3mod borrow;
4mod boxed;
5pub mod cell;
6pub mod char;
7pub mod clone;
8pub mod cmp;
9pub mod convert;
10pub mod default;
11pub mod fmt;
12pub mod hint;
13pub mod intrinsics;
14pub mod iter;
15pub mod mem;
16pub mod num;
17pub mod ops;
18pub mod option;
19pub mod panicking;
20pub mod ptr;
21pub mod range;
22pub mod rc;
23pub mod result;
24pub mod slice;
25pub mod string;
26pub mod time;
27mod tuples;
28pub mod vec;
29
30// Every std-dependent part of the Creusot Standard Library must be disabled when
31// compiling with [no_std].
32
33#[cfg(feature = "std")]
34pub mod collections {
35    pub mod hash_map;
36    pub mod hash_set;
37}
38
39#[cfg(feature = "std")]
40pub mod deque;
41
42#[cfg(feature = "std")]
43pub mod io;
44
45#[cfg(feature = "std")]
46pub mod sync;
47
48#[cfg(feature = "std")]
49pub mod thread;