Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_periodic::IsEmptyFactor< N > Struct Template Reference

Whether a factor is empty, \(0^e\) with \(e > 0\). More...

Public Member Functions

constexpr bool operator() (const Factor< N > &f) const

Detailed Description

template<IsCountWord N>
struct dedekind::category::detail_periodic::IsEmptyFactor< N >

Whether a factor is empty, \(0^e\) with \(e > 0\).


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