Module minitt::check

Type check: all about type checking.

Functions

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