Static checks for requirements specified in Concepts. More...
Static checks for requirements specified in Concepts.