dedekind::sets::UniversalPredicate< T > Struct Template Reference

The universal predicate: accepts every element of T. More...

Public Types
using	Domain = T

Public Member Functions
constexpr bool	operator() (const T &) const

Detailed Description

template<typename T>
struct dedekind::sets::UniversalPredicate< T >

The universal predicate: accepts every element of T.

---

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

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