let noteq = fun noteq (p : float * float) : bool is if fst p = snd p then false else true fi end
in
  noteq (3.0, 4.0)
end : bool
;