#include <dune/common/typetraits.hh>
Type trait to determine whether an instance of T has an operator[](I), i.e. whether it can be indexed with an index of type I.