dedekind::morphologies::IsMinkowskiSummable Concept Reference

Concept definition

template<typename S>
concept dedekind::morphologies::IsMinkowskiSummable =  requires(S a, S b) {
  { a + b } -> std::same_as<S>;
}