Dedekind 0.0.0
A structuralist C++23 Module Library
Loading...
Searching...
No Matches
dedekind::category::detail_lattice_nodes::BuildNodes Concept Reference
module dedekind.category

Two terms whose | and & build nodes: both opted in, on one domain. More...

Concept definition

template<typename A, typename B>
concept dedekind::category::detail_lattice_nodes::BuildNodes = builds_lattice_nodes<Meet<A, B>>::value
dedekind::category::detail_lattice_nodes::BuildNodes
Two terms whose | and & build nodes: both opted in, on one domain.
Definition lattice.cppm:711
dedekind::category::builds_lattice_nodes
A carrier's opt-in: its predicates' | and & are the lattice's nodes. False by default; a node over tw...
Definition lattice.cppm:690

Detailed Description

Two terms whose | and & build nodes: both opted in, on one domain.