Lines Matching defs:scan
283 let fun scan (EMPTY,value) = value
284 | scan (TREE(k,_,l,r),value) = scan(r,f(k,scan(l,value)))
285 in scan(t,start)
289 let fun scan(EMPTY,value) = value
290 | scan(TREE(k,_,l,r),value) = scan(l,f(k,scan(r,value)))
291 in scan(t,start)
295 let fun scan EMPTY = ()
296 | scan(TREE(k,_,l,r)) = (scan l; f k; scan r)
297 in scan t
502 let fun scan(EMPTY,value) = value
503 | scan(TREE(k,_,l,r),value) = scan(l,f(k,scan(r,value)))
504 in scan(t,start)