Appendix: The Standard module
The standard environment for Hope, implicitly used by every session and module.
Subsections
Standard type constructors
Internally defined functions
Ross Paterson <ross@soi.city.ac.uk>