dedekind::order::SubsetOf< C, L > Struct Template Reference

The membership predicate of 𝔓(S): \(X \mapsto X \subseteq S\), with S coerced to Sub(C). A named functor (no lambda). More...

Collaboration diagram for dedekind::order::SubsetOf< C, L >:

Public Member Functions
constexpr L::Ω	operator() (const Sub< C, L > &x) const

Public Attributes
Sub< C, L >	base

Detailed Description

template<typename C, typename L>
struct dedekind::order::SubsetOf< C, L >

The membership predicate of 𝔓(S): \(X \mapsto X \subseteq S\), with S coerced to Sub(C). A named functor (no lambda).

---

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

• src/main/modules/dedekind/order/powerset.cppm