11 requires std::unsigned_integral<typename T::KeyType>;
12 requires(
sizeof(
typename T::KeyType) * 8) % 32 == 0;
14 { t.primary_board_state() } -> std::same_as<typename T::KeyType>;
15 requires std::same_as<std::remove_reference_t<
decltype(T::NumConfKeys)>,
const size_t>;
17 t.confirmation_board_states()
18 } -> std::same_as<std::array<typename T::KeyType, T::NumConfKeys>>;