
(*

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 (_x:t) : t raises { MyExc } = raise MyExc
  with g  (x:t) : (_r: t) raises { MyExc } ensures { true } = f x
end

