Lines Matching defs:ord
11 val ord: key * key -> order
184 (case Key.ord (key, k) of
189 (case Key.ord (key, k1) of
193 (case Key.ord (key, k2) of
203 (case Key.ord (key, k) of
208 (case Key.ord (key, k1) of
212 (case Key.ord (key, k2) of
222 (case Key.ord (key, k) of
227 (case Key.ord (key, k1) of
231 (case Key.ord (key, k2) of
250 (case Key.ord (key, k) of
262 (case Key.ord (key, k1) of
270 (case Key.ord (key, k2) of
304 | compare (SOME k1) (k2, _) = Key.ord (k1, k2);
329 | ord => (case del (if_eq ord NONE k) r of
330 (p', (false, r')) => (p', (false, Branch2 (l, if_eq ord p' p, r')))
333 (true, Branch3 (ll, lp, lr, if_eq ord p' p, r'))
335 (Branch2 (ll, lp, lm), lq, Branch2 (lr, if_eq ord p' p, r')))
350 | ord => (case del (if_eq ord NONE k) m of
352 (p', (false, Branch3 (l, if_eq ord p' p, m', q, r)))
355 Branch2 (Branch3 (ll, lp, lr, if_eq ord p' p, m'), q, r)
358 Branch2 (lr, if_eq ord p' p, m'), q, r)
360 Branch3 (l, if_eq ord p' p, Branch2 (m', q, rl), rp,
363 | ord => (case del (if_eq ord NONE k) r of
365 (q', (false, Branch3 (l, p, m, if_eq ord q' q, r')))
368 Branch2 (l, p, Branch3 (ml, mp, mr, if_eq ord q' q, r'))
371 Branch2 (mr, if_eq ord q' q, r'))
374 Branch2 (mr, if_eq ord q' q, r'))