
(*

BTS 13853 (follow-up)

https://gforge.inria.fr/tracker/?func=detail&atid=10293&aid=13853&group_id=2990

*)

module T

 type t

 exception MyExc

 let rec f (_a:t) : t raises { MyExc } = raise MyExc
 with g (a:t) : t = try (f a) with MyExc -> a end

end
