Merge branch 'upgrade_proofs_coq_8_11_to_8_16' into 'master'

[why3.git] / bench / check-ce / anonymous3.mlw

use int.Int

let f (x: int) = (fun y -> y + x)

let g (y: int)
  ensures { result > y }
= f y y