Lines Matching defs:cmp
277 fun cmp [] = EQUAL
278 | cmp (f1_f2 :: fs) =
279 if Portable.pointerEqual f1_f2 then cmp fs
282 (True,True) => cmp fs
285 | (False,False) => cmp fs
291 | EQUAL => cmp fs
295 | (Not p1, Not p2) => cmp ((p1,p2) :: fs)
298 | (And (p1,q1), And (p2,q2)) => cmp ((p1,p2) :: (q1,q2) :: fs)
301 | (Or (p1,q1), Or (p2,q2)) => cmp ((p1,p2) :: (q1,q2) :: fs)
304 | (Imp (p1,q1), Imp (p2,q2)) => cmp ((p1,p2) :: (q1,q2) :: fs)
307 | (Iff (p1,q1), Iff (p2,q2)) => cmp ((p1,p2) :: (q1,q2) :: fs)
313 | EQUAL => cmp ((p1,p2) :: fs)
320 | EQUAL => cmp ((p1,p2) :: fs)
323 fun compare fm1_fm2 = cmp [fm1_fm2];