346_unused_warning_3.mlw 86 Bytes
Newer Older
1 2 3 4
use int.Int

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