#include <Workspace/Application/LanguageUtils/typet.h>
Specialization for when the condition is true. The class is empty.