Typechecking templates: replaced two utility methods with one accepting more parameters

This commit is contained in:
Fedor Isakov 2015-11-18 19:44:29 +01:00
parent 3a8a397299
commit 1640355c34
1 changed files with 995 additions and 907 deletions