Verification scope: contracts are what the verifier reasons about; the implementations, including the NASM-accelerated runtime paths, are assumed to honor them. See the contracts guide.

Standard Library API

Generated from the stdlib sources at v0.60.1 by docs/build_api_docs.py. 517 source files, 44 modules, 6879 documented symbols.

Beta: the standard library is still being completed; see the known limitations for current gaps.

Each entry shows its source /// comment when present (otherwise a generated summary), followed by its contracts: the contract is the specification.

Module	Purpose	Files	Symbols
core	Core types and runtime glue: Option/Result, allocation, panic and formatting.	4	145
alloc	Memory Allocation	1	18
array	Fixed-Size Array Operations	3	44
async	Cooperative single-threaded async executor: tasks, futures, timers and scheduling-aware channels.	5	78
bench	Timing and throughput harnesses for micro- and macro-benchmarks.	1	17
bits	Bit-Level Utilities	7	102
cell	Interior Mutability (Cell + RefCell)	1	20
collect	Collections: Adaptive Replacement Cache	61	565
collections	Collections Library	1	59
compress	Compression	9	93
convert	Type Conversion Traits	61	309
crypto	Cryptography	18	208
debug	Debug Utilities (assert, hexdump, tracing, logging)	4	43
encoding	Encoding Utilities	8	76
error	Error Trait Hierarchy	4	48
ffi	FFI Library (C Foreign Function Interface)	4	79
format	Format: ANSI Escape Codes	12	240
geom	2D/3D Geometry Library (vectors, matrices, quaternions, primitives)	14	460
hash	Hashing	16	94
io	I/O Library	5	115
iter	Iterator Library	7	196
log	Structured Logging	5	73
math	Math Library	55	1007
mem	Memory Utilities	1	19
misc	Miscellaneous Pure Algorithm Utilities	6	80
net	Networking Library	29	320
num	Numeric Traits & Operations	11	499
os	OS Library	24	377
ptr	Pointer Utilities	1	19
rand	Random Number Generation	4	55
rc	Reference Counting	1	18
reflect	Runtime Reflection	3	48
regex	Regular Expressions	4	56
search	Search Algorithms	6	37
serialize	Serialization Library	7	99
simd	SIMD Module (Single Instruction Multiple Data)	5	105
sort	Sorting Algorithms	6	47
stats	Descriptive statistics, probability distributions, regression and hypothesis tests over Vec-backed samples.	8	142
string	String Library	69	413
sync	Synchronization Primitives	7	139
test	Test Framework (Contract-Aware)	3	70
text	Text: Diff	3	42
thread	Threading	5	62
time	Time Library	8	143