dedekind::sets::EmbedsAt< P >::From< A > Struct Template Reference

Public Member Functions
template<typename B>
constexpr bool	operator() (std::type_identity< B >) const

---

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

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