Lines Matching defs:c2
314 and (fv2,c2,s2) =
329 And (NameSet.union fv1 fv2, countAnd2 (c1,c2), s)
350 and (fv2,c2,s2) =
365 Or (NameSet.union fv1 fv2, countOr2 (c1,c2), s)
405 and (fv2,c2,p2,s2) = case f2 of Xor x => x | _ => normalize f2
415 Xor (NameSet.union fv1 fv2, countXor2 (c1,c2), true, s)
810 fun bwd ((c1,s1,fm),(c2,s2,l)) =
812 val c2' = count2 (count fm, c2)
815 (c2', s2', (c1,s1,fm,c2,s2) :: l)
819 val (c2,_,fms) = List.foldl bwd (count0,empty,[]) fms
822 val _ = countEquivish c1 c2 orelse
824 ", c2 = " ^ countToString c2)
830 fun breakSing ((c1,_,fm,c2,_),best) =
832 val cFms = count2 (c1,c2)
841 fun break c1 s1 fm c2 (best as (bcl,_)) =
846 val cFm = count2 (countLiteral,c2)
854 fn ((c1,s1,fm,c2,s2),best) =>
855 break c1 s1 fm c2 (break c2 s2 fm c1 best)