dedekind::order::detail_connective::OfKind< K > Struct Template Reference

Whether a predicate is of the kind k (a bound to fold). More...

Public Member Functions
bool	operator() (const Pred< K > &q) const

Public Attributes
Pred< K >::Kind	k

Detailed Description

template<typename K>
struct dedekind::order::detail_connective::OfKind< K >

Whether a predicate is of the kind k (a bound to fold).

---

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

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