dedekind::relational::NodeAt Struct Reference

The engine at one node and one law, as a function of the law; the converse reads its operand at the dagger law. More...

Collaboration diagram for dedekind::relational::NodeAt:

Public Member Functions
constexpr dedekind::category::Ternary	operator() (Law w) const

Public Attributes
Node	n
Laws	a
Laws	b

Detailed Description

The engine at one node and one law, as a function of the law; the converse reads its operand at the dagger law.

---

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

• src/main/modules/dedekind/relational/dyadic.cppm