dedekind::order::detail_runs::LiftInto< J > Struct Template Reference

A value lifted along the dominance into the species J. More...

Public Member Functions
template<typename Ω>
constexpr J::Ω	operator() (Ω v) const

Detailed Description

template<typename J>
struct dedekind::order::detail_runs::LiftInto< J >

A value lifted along the dominance into the species J.

---

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

• src/main/modules/dedekind/order/runs.cppm