dedekind::sets::descent< T > Struct Template Reference

A descent: \(\pi_i - c\), a slot stepped down by a constant, and the slot it steps on. c > 0 is checked when the χ node is built. That the descent ends is Archimedes' axiom, that enough steps of c exceed any magnitude [1]. More...

Inheritance diagram for dedekind::sets::descent< T >:

Collaboration diagram for dedekind::sets::descent< T >:

Detailed Description

template<typename T>
struct dedekind::sets::descent< T >

A descent: \(\pi_i - c\), a slot stepped down by a constant, and the slot it steps on. c > 0 is checked when the χ node is built. That the descent ends is Archimedes' axiom, that enough steps of c exceed any magnitude [1].

Template Parameters

T

the term.

---

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

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