smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::SpannableOfType Concept Reference

#include <concepts.h>

Concept definition

template<class T, class U>
concept smats::SpannableOfType = Spannable<T> && std::same_as<U, std::ranges::range_value_t<T>>
Definition concepts.h:118
Definition concepts.h:110

Detailed Description

Check if the type T can be used to create a span of type U

Template Parameters
Ttype to check
Utype of elements in the span