Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::order::detail_runs::And< L > Struct Template Reference

The species' operations as named functions on L::Ω. More...

Public Member Functions

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

Detailed Description

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

The species' operations as named functions on L::Ω.


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