let
at (n : int) (t : int) :
Types_unify
.term =
Atm
(create_number n t)