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

#include <concepts.h>

Concept definition

template<class T>
concept smats::Spannable = std::ranges::contiguous_range<T> && std::ranges::sized_range<T>
Definition concepts.h:110

Detailed Description

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

Template Parameters
Ttype to check