def Test.IO.pam01 : String

A reference-style test file: one PAM contract keyed by "pam01".

Equations

• One or more equations did not get rendered due to their size.