dedekind::sets::IsTerm Concept Reference

A term of the grammar. More...

Concept definition

template<typename T>
concept dedekind::sets::IsTerm =  is_term_v<std::remove_cvref_t<T>>

Detailed Description

A term of the grammar.

Template Parameters

T	the candidate.