let
x (n : int) :
Types_unify
.term =
Var
(create_number n 0)