Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::sequences::detail_pst::ToMembership< S > Struct Template Reference

An element of the walk as the step to its membership, ⊥ past the window's top. More...

Collaboration diagram for dedekind::sequences::detail_pst::ToMembership< S >:

Public Member Functions

constexpr auto operator() (const typename S::Domain &x) const

Public Attributes

S s
S::Domain hi

Detailed Description

template<typename S>
struct dedekind::sequences::detail_pst::ToMembership< S >

An element of the walk as the step to its membership, ⊥ past the window's top.

Template Parameters
Sthe set.

The documentation for this struct was generated from the following file:
  • src/main/modules/dedekind/sequences/pst.cppm