Lines Matching defs:v2
635 val v2 = rand l2
636 val _ = trace "v2 ="
637 val _ = trace_term v2
639 if aconv v1 v2 then
649 else if term_lt v1 v2 then
667 val v2 = rand tm2
668 val _ = trace "v2 ="
669 val _ = trace_term v2
671 if aconv v1 v2 then
677 else if term_lt v1 v2 then
695 val v2 = rand l2
697 if aconv v1 v2 then
703 else if term_lt v1 v2 then
716 val v2 = rand tm2
718 if aconv v1 v2 then
720 else if term_lt v1 v2 then