Concept definition

template<typename T>
concept StormByte::Type::Optional = 
            requires { typename T::value_type; } &&
            std::same_as<T, std::optional<typename T::value_type>>

Detailed Description

Exactly std::optional<U> for some U.

Template Parameters

T	Type to test (no decay).

A type that merely has value_type does not match.

template<Type::Optional T>

void process(T opt);