
(*

BTS 13853

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

*)

module T

use int.Int

exception MyExc

let rec f (_x:int) : int variant { 0 } raises { MyExc } = raise MyExc
with    g (x:int) : int variant { 1 } raises { MyExc } = f x

end
