dedekind::sets::BindArgs< X > Struct Template Reference

The binding of the arguments of every χ in a body at the points X: each a term bound there, a constant cast into its coordinate's carrier. The body's own binding treats a χ as a leaf, so its arguments are bound here. More...

Public Member Functions
template<typename Leaf>
constexpr int	operator() (const Leaf &) const
template<typename... Ts>
constexpr int	operator() (const Self< Ts... > &s) const
template<typename Node, typename... R>
constexpr int	operator() (const Node &, R...) const

Detailed Description

template<typename X>
struct dedekind::sets::BindArgs< X >

The binding of the arguments of every χ in a body at the points X: each a term bound there, a constant cast into its coordinate's carrier. The body's own binding treats a χ as a leaf, so its arguments are bound here.

Template Parameters

X	the point type.

---

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

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