dedekind::sets::Term< K >::SubstOne Struct Reference

The one-slot substitution as a slot map. More...

Collaboration diagram for dedekind::sets::Term< K >::SubstOne:

Public Member Functions
constexpr Term	operator() (unsigned s) const

Public Attributes
unsigned	variable
const Term &	with

Detailed Description

template<typename K>
struct dedekind::sets::Term< K >::SubstOne

The one-slot substitution as a slot map.

---

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

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