Type lists

Description

Types, concepts, and metafunctions for handling lists (or sets) of types.

Topics
	Metafunction type_list_size
	Metafunction to obtain the size (length) of a type list.
	Metafunction type_list_singleton_element
	Metafunction to obtain the contained type of a singleton type list.
	Metafunction type_list_is_subset
	Metafunction to determine if a type list is a subset of another.
	Metafunction type_list_is_equal_set
	Metafunction to determine if a type list is set-equivalent to another.
	Metafunction unique_type_list
	Metafunction to remove duplicate types from a type list.
	Metafunction type_list_union
	Metafunction to obtain the union of two sets of types.
	Metafunction type_list_intersection
	Metafunction to obtain the intersection of two sets of types.
	Metafunction type_list_set_difference
	Metafunction to obtain the set difference of two sets of types.

Concepts
concept	tcspc::convertible_to_type_list_member
	Concept that is satisfied when a type is convertible to at least one of the members of a type list.
concept	tcspc::type_list_like
	Concept that is satisfied when a type is a tcspc::type_list specialization.
concept	tcspc::type_list_member
	Concept that is satisfied when a type is contained in a type list.

Classes
struct	tcspc::type_list< Ts >
	Compile-time representation of a list of types. More...