std: improve the documentation of the random feature#159214

joboet wants to merge 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

joboet:random_docjoboet/rust:random_docCopy head branch name to clipboard