object
method
typ_of_var :
Var
.t
->
[>
Arith
.typ ]
end