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 else findMatch (a::l1, l2, c))
81 val l2 = strip_disj rhs
82 val m = findMatch (l1, l2, l2)
92 val l2 = strip_conj rhs
93 val m = findMatch (l1, l2, l2)
104 val l2 = strip_disj rc
105 val m = findMatch (l1, l2, l2)
116 val l2 = strip_conj ra
117 val m = findMatch (l1, l2, l2)