let
is_int t = (view t).ty=
Ty
.
Tint