let
e_int =
function
0
->
e_zero
|
n
->
Tint
(string_of_int n)