#include <common_concepts.h>

Concept definition

template<typename T>
concept fun::Sequence =  requires(T t, Element_type<T> x) {
        { t.size() } -> STD_ALT::convertible_to<std::size_t>;
        { t.empty() } -> STD_ALT::convertible_to<bool>;
        { t.back() } -> STD_ALT::same_as<Element_type<T>>;
        { t.emplace_back(x) };
    }

Detailed Description

Sequence.

Template Parameters

T