Lines Matching defs:l2
72 fun findMatch ([], l2, c) = raise ERR "findMatch" ""
74 | findMatch (a::l1, b::l2, []) = findMatch (l1, b::l2, b::l2)
75 | findMatch (a::l1, l2, b::c) = if a ~~ b then a
76 else findMatch (a::l1, l2, c)
82 val l2 = strip_disj rhs
83 val m = findMatch (l1, l2, l2)
93 val l2 = strip_conj rhs
94 val m = findMatch (l1, l2, l2)
105 val l2 = strip_disj rc
106 val m = findMatch (l1, l2, l2)
117 val l2 = strip_conj ra
118 val m = findMatch (l1, l2, l2)