Dcalc.TypingSourceTyping for the default calculus. Because of the error terms, we perform type inference using the classical W algorithm with union-find unification.
val check_type :
Ast.decl_ctx ->
Ast.expr Utils.Pos.marked ->
Ast.typ Utils.Pos.marked ->
unit