let
texpr exp =
try
T
.expr exp
with
T
.
AbortTranslation
msg
->
MV
.abort msg