Documentation for procedural module.