Contains macros for testing concept definitions (and related constructions). More...
Contains macros for testing concept definitions (and related constructions).