346_unused_warning.mlw 87 Bytes
Newer Older
1 2 3 4 5
use int.Int

(* result unused *)
val eq (x: int) (y: int) : bool
    ensures { x = y }