dedekind::sets::detail_terms_witness::Foreign Struct Reference

Public Types
using	is_rel_predicate = void

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

---

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

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