cpp/experimental/ranges/concepts/Boolean

The concept specifies the requirements for a type usable in Boolean contexts. For to be satisfied, the logical operators must have the usual behavior (including short-circuiting). More precisely, given is satisfied only if:
 * ,, two lvalues of type ,
 * , and  are all equal to  and have the same short-circuit evaluation;
 * , and  are all equal to  and have the same short-circuit evaluation;
 * ,, and are all equal to ;
 * ,, and are all equal to.
 * ,, and are all equal to.