Failed attempt to replace ℤ with an extra type parameter.#6

Draft

eric-wieser wants to merge 1 commit intopygae:masterfrom eric-wieser:failed-inference

+23-18

Commits on Jul 3, 2020

Replace ℤ with an extra type parameter.
eric-wieser
committed