The representation of the kinds in the typesystem. More...
#include <checker.h>
The representation of the kinds in the typesystem.