346_unused_warning_1.mlw 88 Bytes
Newer Older
1 2 3 4
use int.Int

(* z unused *)
function f (x : int) (y : int) : bool = forall z:int. x = y