Front Page / Reference Manual

Reference Manual

The MPL reference manual is an annotated formal specification of the library's public interface. The manual is available in two forms:

Please choose the form that is most convenient for you, and enjoy!