Concept Subspace :: sus :: collections :: compat :: Pair

template <class P, class A, class B>
concept Pair
requires
requires(P&& p) {
  { get<0>(::sus::move(p)) } -> std::convertible_to<A>;
  { get<1>(::sus::move(p)) } -> std::convertible_to<B>;
}