Lines Matching refs:priority
29 priority : real,
56 T {size = 1, priority = randomPriority (),
61 val {priority = p1, key = k1, ...} = x1
62 and {priority = p2, key = k2, ...} = x2
112 | GREATER => raise Error "left child has greater priority"
120 | GREATER => raise Error "right child has greater priority"
149 T {size = treeSize l + 1 + treeSize r, priority = p,
174 val {priority = p2,
182 val {priority = p1,
194 | mkLeft (({priority,left,key,value,...} : ('a,'b) node) :: xs) t =
195 mkLeft xs (mkT priority left key value t);
198 | mkRight (({priority,key,value,right,...} : ('a,'b) node) :: xs) t =
199 mkRight xs (mkT priority t key value right);
221 val {priority = p1,
246 val {priority = p1,
281 val {priority = p1,
314 | treeDelete cmp (T {priority,left,key,value,right,...}) dkey =
316 LESS => mkT priority (treeDelete cmp left dkey) key value right
318 | GREATER => mkT priority left key value (treeDelete cmp right dkey);
337 val {size = s1, priority = p1,
417 | treeMapPartial cmp f (T {priority,left,key,value,right,...}) =
425 | SOME value => mkT priority left key value right
436 | treeMap f (T {size,priority,left,key,value,right}) =
442 T {size = size, priority = priority, left = left,