SAT Solver Template
Loading...
Searching...
No Matches
sat::concepts::same_template_clvref Concept Reference

#include <concepts.hpp>

Concept definition

template<typename T, template< typename... > typename Template>
concept sat::concepts::same_template_clvref = same_template_lvref<T, Template> and std::is_const_v<std::remove_reference_t<T>>
Definition concepts.hpp:99
Definition concepts.hpp:93

Detailed Description

Type that is a const l-value reference to a given incomplete template type