Lines Matching defs:look
182 fun look Empty = NONE
183 | look (Branch2 (left, (k, x), right)) =
185 LESS => look left
187 | GREATER => look right)
188 | look (Branch3 (left, (k1, x1), mid, (k2, x2), right)) =
190 LESS => look left
194 LESS => look mid
196 | GREATER => look right));
197 in look tab end;
201 fun look Empty = NONE
202 | look (Branch2 (left, (k, x), right)) =
204 LESS => look left
206 | GREATER => look right)
207 | look (Branch3 (left, (k1, x1), mid, (k2, x2), right)) =
209 LESS => look left
213 LESS => look mid
215 | GREATER => look right));
216 in look tab end;