The sorts of a point type: the carriers of its coordinates, each once. A carrier value has one sort; a pair of two carriers two (one where they agree). A term built at run time names no carrier until it is bound, and every node then has a sort: a projection its slot's, a constant its context's, an operator its operands' common one, a comparison 𝔹. More...

Public Types
using	type = std::tuple<P>

Detailed Description

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

The sorts of a point type: the carriers of its coordinates, each once. A carrier value has one sort; a pair of two carriers two (one where they agree). A term built at run time names no carrier until it is bound, and every node then has a sort: a projection its slot's, a constant its context's, an operator its operands' common one, a comparison 𝔹.

Template Parameters

P	the point type.

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

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

Public Types

Detailed Description