fact: Definition test_ex e := mtry raise e with | AnException => ret ""%string | MyException "hello"%string => ret "world"%string | [? s] MyException s => ret s end.
imports: Mtac2.Mtac2 Arith.Arith Lists.List Strings.String