Expand description

Functions to check that values satisfy the imposed constraints.

Traits