Syntax

The Mitten library provides a "helper" module to write constraints in a simpler way.

TODO