Skip to main content

creusot_std/
std.rs

1//! Specifications for the `std` crate
2mod array;
3mod bool;
4mod borrow;
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 result;
23pub mod slice;
24pub mod string;
25pub mod time;
26mod tuples;
27
28// Every std-dependent part of the Creusot Standard Library must be disabled when
29// compiling with [no_std].
30
31#[cfg(feature = "std")]
32pub mod collections {
33    pub mod hash_map;
34    pub mod hash_set;
35}
36#[cfg(feature = "std")]
37mod boxed;
38#[cfg(feature = "std")]
39pub mod deque;
40#[cfg(feature = "std")]
41pub mod io;
42#[cfg(feature = "std")]
43pub mod rc;
44#[cfg(feature = "std")]
45pub mod sync;
46#[cfg(feature = "std")]
47pub mod thread;
48#[cfg(feature = "std")]
49pub mod vec;