let
tcond c =
try
T
.cond c
with
T
.
AbortTranslation
msg
->
MV
.abort msg