test_ne.mlw 101 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12

module M

  use import int.Int

  goal g1 : (=) 1 2

  goal g2 : (>) 1 2

  goal g3 : (<>) 1 2

end