346_unused_warning_7.mlw 69 Bytes
Newer Older
1 2 3 4
use int.Int

(* x is unused *)
predicate p (x: int) (y: int) = y = 0