dedekind::sets::detail::decided< Chi > Struct Template Reference

A classifier read as a decided truth value: its answer converted to bool as if would convert it, so a classifier valued in an explicit truth type (Truth<Boole>) is admitted. Applied as a const value. More...

Public Member Functions
template<typename X> requires std::invocable<const Chi&, const X&> && std::constructible_from<bool, std::invoke_result_t<const Chi&, const X&>>
constexpr bool	operator() (const X &x) const

Public Attributes
Chi	chi

Detailed Description

template<typename Chi>
struct dedekind::sets::detail::decided< Chi >

A classifier read as a decided truth value: its answer converted to bool as if would convert it, so a classifier valued in an explicit truth type (Truth<Boole>) is admitted. Applied as a const value.

Template Parameters

Chi	the classifier.

---

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

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