Lines Matching defs:look
265 let fun look EMPTY = false
266 | look (TREE(k,_,l,r)) =
267 if elem_gt(k,key) then look l
268 else if elem_gt(key,k) then look r
270 in look t
274 let fun look EMPTY = NONE
275 | look (TREE(k,_,l,r)) =
276 if elem_gt(k,key) then look l
277 else if elem_gt(key,k) then look r
279 in look t
484 let fun look EMPTY = false
485 | look (TREE((k,_),_,l,r)) =
486 if B.gt(k,key) then look l
487 else if B.gt(key,k) then look r
489 in look t
493 let fun look EMPTY = NONE
494 | look (TREE((k,data),_,l,r)) =
495 if B.gt(k,key) then look l
496 else if B.gt(key,k) then look r
498 in look t