Lines Matching refs:res2
204 !f args a ctxt fns ok res ok1 res2 ok2 ok3.
206 MR_ap (f,args,a,ctxt,fns,ok2) (res2,ok3) ==> (res = res2)`
208 !xs a ctxt fns ok res ok1 res2 ok2 ok3.
210 MR_evl (xs,a,ctxt,fns,ok2) (res2,ok3) ==> (res = res2)`
212 !x1 a ctxt fns ok res ok1 res2 ok2 ok3.
214 MR_ev (x1,a,ctxt,fns,ok2) (res2,ok3) ==> (res = res2)`
235 !f args a ctxt fns ok res ok1 res2 ok2 ok3.
237 MR_ap (f,args,a,ctxt,fns,ok) (res2,ok2) ==> (res = res2) /\ (ok1 = ok2)`
239 !xs a ctxt fns ok res ok1 res2 ok2 ok3.
241 MR_evl (xs,a,ctxt,fns,ok) (res2,ok2) ==> (res = res2) /\ (ok1 = ok2)`
243 !x1 a ctxt fns ok res ok1 res2 ok2 ok3.
245 MR_ev (x1,a,ctxt,fns,ok) (res2,ok2) ==> (res = res2) /\ (ok1 = ok2)`
273 !xs a ctxt fns ok res ok1 res2 ok2 ok3.
277 !x1 a ctxt fns ok res ok1 res2 ok2 ok3.
312 !xs a ctxt fns ok res ok1 res2 ok2 ok3.
316 !x1 a ctxt fns ok res ok1 res2 ok2 ok3.