constraint

This library provides a way to define constrained classes in order to ensure that its instances always satisfy some specified set of constraints.