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: