dedekind::order::detail_cover_witness::AgreesOn Struct Reference

Every a in the window agrees with every b. More...

Public Member Functions
constexpr bool	operator() (bool ok, int a) const

Public Attributes
int	k

Detailed Description

Every a in the window agrees with every b.

---

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

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