dedekind::sets::ConstantAs< P, C, K > Struct Template Reference

A constant read in the sort C: a numeral cast into it, a constant of a sort (a bool, a Ternary) read in its own and embedded. More...

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

Public Attributes
const K &	k

Detailed Description

template<typename P, typename C, typename K>
struct dedekind::sets::ConstantAs< P, C, K >

A constant read in the sort C: a numeral cast into it, a constant of a sort (a bool, a Ternary) read in its own and embedded.

Template Parameters

P	the point type.
C	the sort.

Parameters

k	the constant.

---

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

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