Commit 2020-10-18 01:46 f9908388
View on Github →chore(data/finsupp/basic): rename type variables (#4624)
Use M
, N
, P
for types with has_zero
, add_monoid
, or
add_comm_monoid
structure, and R
, S
for types with at least
a semiring
instance.
API change: single_add_erase
and erase_add_single
now use explicit arguments.