let
is_real t = (view t).ty=
Ty
.
Treal