dedekind::category::ArrowNodeAt Struct Reference

The engine at one former and one law, as a function of the law. More...

Collaboration diagram for dedekind::category::ArrowNodeAt:

Public Member Functions
constexpr Ternary	operator() (ArrowLaw w) const

Public Attributes
ArrowNode	n
ArrowLaws	a
ArrowLaws	b

Detailed Description

The engine at one former and one law, as a function of the law.

---

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

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