Skip to content

Commit

Permalink
chore(data/finsupp/basic): rename type variables (#4624)
Browse files Browse the repository at this point in the history 
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.



Co-authored-by: Johan Commelin <johan@commelin.net>
Co-authored-by: Bryan Gin-ge Chen <bryangingechen@gmail.com>
  • Loading branch information
@urkud @jcommelin @bryangingechen
3 people committed Oct 18, 2020
1 parent ebd2b7f commit f990838
Show file tree
Hide file tree
Showing 3 changed files with 438 additions and 431 deletions.

0 comments on commit f990838

Please sign in to comment.