is_equivalent_v

template<typename T, typename U>

bool kumi::is_equivalent_v = false

inlineconstexpr

Checks if a two product types are equivalent.

Two product types are considered equivalent in the following case : if the two product types are concepts::record_type they need to both have the same fields, potentially in a different order. If one of the two or both are simply product_types, they are considered equivalent if their size match.

Template Parameters

T	The reference product type to access
U	the product type to check

Helper type-trait

namespace kumi
{
  template<typename T, typename U> struct is_equivalent;
}