Differ LazyLock vs. OnceLock in std::sync overview · model-checking/verify-rust-std@7e47256 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -136,7 +136,10 @@
136	136	//! - [`Once`]: Used for a thread-safe, one-time global initialization routine
137	137	//!
138	138	//! - [`OnceLock`]: Used for thread-safe, one-time initialization of a
139		-//! global variable.
	139	+//! variable, with potentially different initializers based on the caller.
	140	+//!
	141	+//! - [`LazyLock`]: Used for thread-safe, one-time initialization of a
	142	+//! variable, using one nullary initializer function provided at creation.
140	143	//!
141	144	//! - [`RwLock`]: Provides a mutual exclusion mechanism which allows
142	145	//! multiple readers at the same time, while allowing only one