The operands of an operator of the grammar: at least one term, the other a term or a constant. More...

Concept definition

template<typename A, typename B>
concept dedekind::sets::TermOperands = 
    (IsTerm<A> && (IsTerm<B> || IsConstant<B>)) || (IsTerm<B> && IsConstant<A>)

Detailed Description

The operands of an operator of the grammar: at least one term, the other a term or a constant.