Switch typechecking templates to use the refactored facade.

This commit is contained in:
Fedor Isakov 2020-05-24 10:46:38 +02:00
parent b8f2d63353
commit 71fd7d7301
2 changed files with 1713 additions and 954 deletions