The is a hyperlink in the online manual which purports to point to the stdlib modules documentation:
The different modules of the Coq standard library are documented online at https://coq.inria.fr/stdlib.
However, when I click on that I get a 404. Does that document exist? If not online, maybe in a PDF version?