The empty predicate: rejects 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::EmptyPredicate< T >

The empty predicate: rejects every element of T.

Used as the structural witness of a contradiction proven at compile time (e.g. (x > 5) && (x < 3) collapsing via structured_and). When a Set's predicate is EmptyPredicate<T>, the set equals Ø<T, L>.

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

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

Public Types

Public Member Functions

Detailed Description