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.65.7 by docs/build_api_docs.py. 543 source files, 44 modules, 7410 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	45
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	68	681
collections	Collections Library	1	59
compress	Compression	12	113
convert	Type Conversion Traits	61	326
crypto	Cryptography	19	213
debug	Debug Utilities (assert, hexdump, tracing, logging)	4	43
encoding	Encoding Utilities	9	95
error	Error Trait Hierarchy	4	50
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	97
io	I/O Library	5	129
iter	Iterator Library	7	196
log	Structured Logging	5	73
math	Math Library	57	1025
mem	Memory Utilities	1	19
misc	Miscellaneous Pure Algorithm Utilities	6	83
net	Networking Library	32	476
num	Numeric Traits & Operations	11	501
os	OS Library	26	404
ptr	Pointer Utilities	1	19
rand	Random Number Generation	4	57
rc	Reference Counting	1	18
reflect	Runtime Reflection	3	48
regex	Regular Expressions	4	56
search	Search Algorithms	6	37
serialize	Serialization Library	8	130
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.	9	146
string	String Library	73	465
sync	Synchronization Primitives	7	148
test	Test Framework (Contract-Aware)	4	94
text	Text: Diff	3	42
thread	Threading	5	67
time	Time Library	8	144