NumSumMi top-level property

Monoid<num> NumSumMi
final

Implementation

final Monoid<num> NumSumMi = NumSumMonoid();