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