let
xt (n : int) (t : int) :
Types_unify
.term =
Var
(create_number n t)