Определение концепта

template<typename A>
concept simstr::StrExpr =  requires(const A& a) {
    typename A::symb_type;
    { a.length() } -> std::convertible_to<size_t>;
    { a.place(std::declval<typename A::symb_type*>()) } -> std::same_as<typename A::symb_type*>;
}

Подробное описание

Концепт "Строковых выражений".

Это концепт, проверяющий, является ли тип "строковым выражением".