Syntactic check: s[i] compiles for Seq, Idx. More...

Concept definition

template<typename Seq, typename Idx>
concept dedekind::category::HasSubscriptOperator =  requires(Seq const& s, Idx i) {
  { s[i] };
}

Detailed Description

Syntactic check: s[i] compiles for Seq, Idx.