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 sync;
26pub mod time;
27mod tuples;
28
29// Every std-dependent part of the Creusot Standard Library must be disabled when
30// compiling with [no_std].
31
32#[cfg(feature = "std")]
33pub mod collections {
34    pub mod hash_map;
35    pub mod hash_set;
36}
37#[cfg(feature = "std")]
38mod boxed;
39#[cfg(feature = "std")]
40pub mod deque;
41#[cfg(feature = "std")]
42pub mod io;
43#[cfg(feature = "std")]
44pub mod rc;
45#[cfg(feature = "std")]
46pub mod thread;
47#[cfg(feature = "std")]
48pub mod vec;