Lines Matching defs:res
229 fun aux _ res _ [] = res
230 | aux xsCopy res [] (y :: yt) = aux xsCopy res xsCopy yt
231 | aux xsCopy res (x :: xt) (ys as y :: _) =
232 aux xsCopy (f x y :: res) xt ys
850 val res = f a
853 (Time.toReal usr + Time.toReal sys, res)
861 val (t',res) = timed f a
865 if t > MIN then (t / Real.fromInt n, res) else several n t f a