1. Package Information
1. Package Information
1.2. Installation
Previous
Up
Next
1.1
Orientation
1.1.1. Overview
1.1.1
Overview
1
The
com.io7m.jaffirm
package provides simple and fast pre/postcondition and invariant checking functions.
Previous
Up
Next
1. Package Information
1. Package Information
1.2. Installation