#pragma once

#include <type_traits>
#include "unit_schema.hpp"

namespace saw {
namespace impl {

template<typename T, typename U>
class unit_matching;

template<typename... T>
class unit_redux_list {
	static_assert(sizeof...(T) == 0u, "Template type not supported");

	using reduced_type = unit_redux_list<>;
};
}
}