This new feature is described in chapter 11.10. "Providing constraint definitions" of the reference documentation.