Constraint package:sop-core

Constraints for indexed datatypes. This module contains code that helps to specify that all elements of an indexed structure must satisfy a particular constraint.
The kind of constraints, like Show a