ALL contains all of the complex classes of decision problems, including RE and co-RE.
ALL 包含了所有決定型問題的複雜度類，因此也包含了RE和co-RE。