dedekind::sets::value_sum< Sorts > Struct Template Reference

The value of a term built at run time at a point: the one sort's carrier, or the sum of the sorts where there are more. More...

Detailed Description

template<typename Sorts>
struct dedekind::sets::value_sum< Sorts >

The value of a term built at run time at a point: the one sort's carrier, or the sum of the sorts where there are more.

---

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

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