dedekind::algebra::semiring_ops< bool > Struct Reference

The Boolean semiring's operations, (∨, ∧). More...

Public Types
using	add = std::logical_or<bool>
using	mult = std::logical_and<bool>

Detailed Description

The Boolean semiring's operations, (∨, ∧).

---

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

• src/main/modules/dedekind/algebra/universal.cppm