dedekind::sets::ReadAs< C > Struct Template Reference

The coordinate slot of the point p, read in the sort C the dispatch chose; the point itself for the unary π. More...

Public Member Functions
template<typename D>
constexpr C	operator() (const D &d) const

Detailed Description

template<typename C>
struct dedekind::sets::ReadAs< C >

The coordinate slot of the point p, read in the sort C the dispatch chose; the point itself for the unary π.

Template Parameters

C

the sort.

Parameters

p	the point.

A cell read in the sort C, whichever alternative it holds.

---

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

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