A simple way to incrementally build type-checked specifications.
There are no labels for this package.
