dedekind::category::law_inactive Struct Reference

Sentinel: a law that does not fire on the given node. More...

Detailed Description

Sentinel: a law that does not fire on the given node.

---

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

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