Lines Matching defs:pr
105 val pr = (i,sub(v,i))
107 if P pr then SOME pr else recurse (i + 1)
238 val pr = (i,sub(v,i))
240 if P pr then SOME pr else recurse (i + 1)
316 if i < sz then let val pr = (i, sub(a,i))
318 if P pr then SOME pr else recurse (i + 1)
481 val pr = (i,sub(v,i))
483 if P pr then SOME pr else recurse (i + 1)
920 val pr = (i,c)
922 if P pr then SOME pr else loop (i + 1)
952 val pr = (i,c)
954 if P pr then SOME pr else loop (i + 1)