dedekind::sets::Verdict< P, K >::Search Struct Reference

Collaboration diagram for dedekind::sets::Verdict< P, K >::Search:

Public Member Functions
template<typename C>
constexpr Ternary	operator() (std::type_identity< C >) const
template<typename C>
constexpr Ternary	search (std::type_identity< C >) const

Public Attributes
const Verdict &	v
const Pred< K > &	t

---

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

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