bench/infer/return_function.mlw

   1 use int.Int
   2
   3 val ref x : int
   4
   5 let  f (a : int) : int = a + a
   6
   7 let main [@bddinfer] () =
   8    let temp = f 6 in
   9    x <- temp;
  10    assert { x = 12 }