dedekind::order::detail_cover_witness::AgreesFrom Struct Reference

For a fixed a, every b agrees: a < b iff reached. More...

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

Public Attributes
int	a
int	k

Detailed Description

For a fixed a, every b agrees: a < b iff reached.

---

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

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