dedekind::order::detail_runs::Iff< L > Struct Template Reference

a ⇔ b in the species: both, or neither. More...

Public Member Functions
constexpr auto	operator() (typename L::Ω a, typename L::Ω b) const

Detailed Description

template<typename L>
struct dedekind::order::detail_runs::Iff< L >

a ⇔ b in the species: both, or neither.

---

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

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