Module Constraints.Constraints_sig

module type Constraints = sig ... end