240_extraction_polymorphic.mlw 117 Bytes
Newer Older
MARCHE Claude's avatar
MARCHE Claude committed
1 2 3 4 5 6 7 8 9 10 11


let rec f x =
  let rec aux y = () in
  aux x



let rec g x diverges =
  let rec aux y diverges = g () in
  aux x