CM.Validity

data Validity

isValid

violationMessage

newConstraint