dedekind::category::detail_lattice_nodes::same_domain< A, B > Struct Template Reference

Two operands on one domain: a lazy trait, read only once both operands qualify, so an operand with no domain is never asked for one. More...

Inheritance diagram for dedekind::category::detail_lattice_nodes::same_domain< A, B >:

Collaboration diagram for dedekind::category::detail_lattice_nodes::same_domain< A, B >:

Detailed Description

template<typename A, typename B>
struct dedekind::category::detail_lattice_nodes::same_domain< A, B >

Two operands on one domain: a lazy trait, read only once both operands qualify, so an operand with no domain is never asked for one.

---

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

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