The species of a predicate's answer, relative to the base's species L: an answer already in L::Ω is in L (so a Chain<int> universe accepts an int-valued predicate), otherwise the answer type names its species (classifier_logic_t; no default). More...

Public Types
using	type = dedekind::category::classifier_logic_t<Answer>

Detailed Description

template<typename L, typename Answer>
struct dedekind::sets::answer_logic< L, Answer >

The species of a predicate's answer, relative to the base's species L: an answer already in L::Ω is in L (so a Chain<int> universe accepts an int-valued predicate), otherwise the answer type names its species (classifier_logic_t; no default).

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

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

Public Types

Detailed Description