dedekind::sets::Ap< F, A > Struct Template Reference

An arrow applied to a term, f(a). More...

Collaboration diagram for dedekind::sets::Ap< F, A >:

Public Attributes
F	f
A	a

Detailed Description

template<typename F, typename A>
struct dedekind::sets::Ap< F, A >

An arrow applied to a term, f(a).

Template Parameters

F	the arrow.
A	the term.

---

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

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