dedekind::category::detail_lattice_nodes::domain_of< T > Struct Template Reference

The domain of a term, read off its first leaf. More...

Public Types
using	type = Dom<T>

Detailed Description

template<typename T>
struct dedekind::category::detail_lattice_nodes::domain_of< T >

The domain of a term, read off its first leaf.

---

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

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