dedekind::category::no_canonical_order Struct Reference

No order for the reducer to canonicalise by: a carrier without one keeps the residue in its authored order, then combines it. More...

Detailed Description

No order for the reducer to canonicalise by: a carrier without one keeps the residue in its authored order, then combines it.

---

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

• src/main/modules/dedekind/category/lattice_term.cppm