dedekind::sets::graph_atom< P > Struct Template Reference

π_2 == t, or t == π_2, with t mentioning only the first slot: the graph of the function x ↦ t(x). term is t. More...

Inheritance diagram for dedekind::sets::graph_atom< P >:

Collaboration diagram for dedekind::sets::graph_atom< P >:

Detailed Description

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

π_2 == t, or t == π_2, with t mentioning only the first slot: the graph of the function x ↦ t(x). term is t.

Template Parameters

P

the atom.

---

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

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