A node of the term functor: a type that exposes its legs. More...

Concept definition

template<typename T>

concept dedekind::category::IsTermNode = requires(const T& t) { legs(t); }

A node of the term functor: a type that exposes its legs.

Definition f_algebra.cppm:311

constexpr auto legs(const Pairing< F, G > &a)

The legs of a former, for cata.

Definition cartesian.cppm:1488

Detailed Description

A node of the term functor: a type that exposes its legs.