Module minitt::type_check

Type checking: the four type checking functions -- checkI, checkD, check and checkT.

Functions

update_gamma

upG in Mini-TT. Gamma |- p : t = u => Gamma’