partial.mlw 180 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13
val partial random () : int
val f (x:int) : unit

use int.Int

let main () =
  let r = random () in
  let s = random () in
  let ghost x = random () in
  f x;
  f r;
  f x;
  r * s