dedekind::sets::Bound Struct Reference

The result of a binding: nothing but the checks that ran. More...

Detailed Description

The result of a binding: nothing but the checks that ran.

---

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

• src/main/modules/dedekind/sets/terms.cppm