dedekind::sets::with_carrier< S, C > Struct Template Reference

The tuple S with C appended, unless C is in it already. More...

Detailed Description

template<typename S, typename C>
struct dedekind::sets::with_carrier< S, C >

The tuple S with C appended, unless C is in it already.

---

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

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