Module documentation

Expand description

§General documentation that does not fit in a particular module

This module does not contain any code, and is only available during rustdoc builds.