Documentation

Automatically generated by pldoc.