dedekind::sets::CondT< P, A, B > Struct Template Reference

McCarthy's conditional on terms: a where p holds, else b. More...

Collaboration diagram for dedekind::sets::CondT< P, A, B >:

Public Attributes
P	p
A	a
B	b

Detailed Description

template<typename P, typename A, typename B>
struct dedekind::sets::CondT< P, A, B >

McCarthy's conditional on terms: a where p holds, else b.

Template Parameters

P	a relational predicate.
A,B	the branches.

---

The documentation for this struct was generated from the following file:

• src/main/modules/dedekind/sets/terms.cppm