Module Constraints.Constraints

module type Constraints = sig ... end