dedekind::category::ChainStep< T > Struct Template Reference

One step of the walk: the next value, or the walk itself once it has ended, which makes an ended walk the fixed point iterate stops at. More...

Collaboration diagram for dedekind::category::ChainStep< T >:

Public Member Functions
constexpr ChainWalk< T >	operator() (const ChainWalk< T > &w) const

Public Attributes
T	hi

Detailed Description

template<typename T>
struct dedekind::category::ChainStep< T >

One step of the walk: the next value, or the walk itself once it has ended, which makes an ended walk the fixed point iterate stops at.

---

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

• src/main/modules/dedekind/category/mereology.cppm