dedekind::category::IsPartialAssociative Concept Reference

The Kleene Associativity Law. More...

Concept definition

template<typename T, typename Op>
concept dedekind::category::IsPartialAssociative =  IsPartialMagma<T, Op> && requires {
  requires is_kleene_associative_v<T, Op>;
}

Detailed Description

The Kleene Associativity Law.

"If both sides are defined, they are equal."