Whether the sort b embeds into the sort a, at points of P. More...

Classes
struct	From

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

Public Attributes
std::size_t	b

Detailed Description

template<typename P>
struct dedekind::sets::EmbedsAt< P >

Whether the sort b embeds into the sort a, at points of P.

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

Classes