dedekind::sets::detail::insert_into Struct Reference

The step of the folds below: insert one element into the container accumulated so far, and hand it on (Rule 3: a fold, not a loop). The element is taken by value and moved in, so a transformed result is moved, not copied (a move-only one included). More...

Public Member Functions
template<dedekind::sets::StdSetLike C>
constexpr C	operator() (C acc, typename C::value_type x) const

Detailed Description

The step of the folds below: insert one element into the container accumulated so far, and hand it on (Rule 3: a fold, not a loop). The element is taken by value and moved in, so a transformed result is moved, not copied (a move-only one included).

---

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

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