dedekind::sets::CondSplit< K > Struct Template Reference

A term with its first conditional taken out: the condition, and the term with the conditional replaced by each branch. More...

Public Attributes
Pred< K >	q
Term< K >	then_term
Term< K >	else_term

Detailed Description

template<typename K>
struct dedekind::sets::CondSplit< K >

A term with its first conditional taken out: the condition, and the term with the conditional replaced by each branch.

Template Parameters

K	the constants' type.

---

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

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