Lines Matching refs:res2
554 eval_from k2 input prog = (res2,t2) ���
561 ���res2 t2. eval env x (s with clock := k) = (res2,t2) ���
563 (���e. res1 = Err e ��� ���e. res2 = Err e) ���
564 ���x. res2 = Res x ��� res1 = Res x ���
568 ���res2 t2. evals env xs (s with clock := k) = (res2,t2) ���
570 (���e. res1 = Err e ��� ���e. res2 = Err e) ���
571 ���x. res2 = Res x ��� res1 = Res x ���
583 \\ reverse (Cases_on ���res2���) \\ fs []
594 \\ reverse (Cases_on ���res2���) \\ fs []
601 \\ reverse (Cases_on ���res2���) \\ fs []
610 \\ reverse (Cases_on ���res2���) \\ fs []
620 \\ reverse (Cases_on ���res2���) \\ fs []
624 \\ reverse (Cases_on ���res2���) \\ fs []