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>>
smats::SpannableOfType
Definition
concepts.h:118
smats::Spannable
Definition
concepts.h:110
Detailed Description
Check if the type T can be used to create a span of type U
Template Parameters
T
type to check
U
type of elements in the span
smats
SpannableOfType
Generated by
1.11.0