dedekind::sets::rel_key< Rel::Le > Struct Reference

Public Types
using	type = std::less_equal<>

---

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

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