bench/programs/bad-typing/variant1.mlw

   1
   2 module M
   3
   4   use int.Int
   5
   6   (* missing variant *)
   7
   8   let rec even (x:int) : int variant {x} =
   9     odd (x-1)
  10   with odd (x:int) : int =
  11     even (x-1)
  12
  13 end