Template:cpp/types/dsc disjunction