dedekind::sets::Const< K > Struct Template Reference

A constant, carried as a value. More...

Collaboration diagram for dedekind::sets::Const< K >:

Public Attributes
K	value

Detailed Description

template<typename K>
struct dedekind::sets::Const< K >

A constant, carried as a value.

Template Parameters

K

its type.

---

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

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