A signature, the \(F\) of an \((A, F)\) algebra named as one type: the Ops... of IsAlgebra, IsAlgebraOnSet and HasCarrier, which a concept can then take as a parameter and default. More...

Detailed Description

template<typename... Ops>
struct dedekind::algebra::Signature< Ops >

A signature, the \(F\) of an \((A, F)\) algebra named as one type: the Ops... of IsAlgebra, IsAlgebraOnSet and HasCarrier, which a concept can then take as a parameter and default.

Template Parameters

Ops	the operations.

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

src/main/modules/dedekind/algebra/universal.cppm