This module re-exports the core functionality of the CHP library. Other modules that you also may wish to import are:
For an overview of the library, take a look at the CHP tutorial: http://www.cs.kent.ac.uk/projects/ofa/chp/tutorial.pdf available from the main CHP website: http://www.cs.kent.ac.uk/projects/ofa/chp/