let
a (n : int) :
Types_unify
.term =
Atm
(create_number n 0)