7   Index

• Backward,  6, 6
• balance,  5, 5, 5, 5
• Basic (module),  1, 2, 2, 2, 2, 2, 2, 2, 4, 4, 5, 5, 5, 5, 5
• Black,  5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5
• blacken_root,  5, 5
• black_ok,  5, 5
• bstree (type),  5, 5, 5
• bubbleone,  2, 2, 2
• Bubblesort (module),  2, 2,
• BubblesortFun (module),  2, 2,
• color (type),  5, 5, 5, 6, 5, 5, 5
• delete,  1, 4, 5, 5, 5, 5, 4, 4
• delete',  5,
• delete_h,  5, 5, 5
• delete_max,  4, 4, 4, 4, 4, 4, 2
• delete_succ,  5, 5, 5, 5, 5, 5
• depth_rbtree,  5, 5, 5
• dfs,  6, 6,
• dfs_collect,  6, 6,
• dfs_visit_f,  6, 6
• dfs_visit_iter,  6, 6
• dgraph (type),  6, 6, 6, 6
• dict (type),  1, 5, 5, 1
• DICT (sig),  1, 5, 5
• direction (type),  6,
• elem (type),  1, 1, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 4, 5, 5, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5
• empty,  1, 1, 4, 4, 4, 4, 4, 4, 5, 5,
• entry (type),  5, 5,
• eq,  1, 4
• explode,  2, 2, 2
• explode_seq,  3, 3, 3
• filter,  2, 2, 2
• finish,  5, 5
• fixup_l,  5, 5
• fixup_r,  5, 5, 5
• Forward,  6, 6
• geq,  1, 2, 4, 4, 4
• get_max,  4, 4, 4, 4, 4, 4,
• Graph,  6, 6, 6,
• Graphs (module),  6, 6,
• Grey,  6, 6
• gt,  1, 4, 5
• H (module),  2, 2, 2
• heap (type),  4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4
• Heap (module),  4, 4, 2
• HEAP (sig),  4, 4, 4, 4
• HeapFun (module),  4, 4, 2
• Heapsort (module),  2,
• HeapsortFun (module),  2,
• heap_of_list,  4, 4, 4, 4, 4, 4, 2, 4, 4
• hsort,  2, 2, 2
• Illegal_Rotation (exn),  5,
• insert,  1, 1, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 4, 4, 4, 5
• insert',  5, 5, 5, 5
• Insertion (module),  2,
• InsertionsortFun (module),  2,
• is_empty,  4, 4, 4, 4, 4, 4, 2
• key (type),  1, 5, 5, 5, 5, 1, 5, 5, 5, 5
• Leaf,  4, 4, 4, 4, 5, 5, 5, 5, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5
• leq,  1,
• linpart,  3, 3, 3
• Linpartition (module),  3, 3,
• list_sum,  3, 3, 3
• lt,  1, 2, 2, 5, 5
• makeNode,  4, 4
• max3,  4, 4
• maxseq,  3, 3,
• Maxseq (module),  3, 3,
• max_postfix,  3, 3
• max_praefix,  3, 3, 3, 3
• member,  1,
• merge,  2, 4, 4, 4, 2, 2, 4, 4, 4
• Mergesort (module),  2,
• MergesortFun (module),  2,
• merge_list,  2, 2, 2
• MHEAP (sig),  4, 4, 4, 4
• MHeapFun (module),  4, 4,
• Node,  4, 4, 4, 4, 5, 5, 5, 5, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5
• Not_Found (exn),  1, 5, 5, 5, 5, 6, 6,
• ORDERED (sig),  1, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 5, 5, 5, 5
• part,  3, 3
• print_dict,  1, 5, 5,
• print_rbtinfo,  5,
• qsort_a_i,  2, 2,
• qsort_a_r,  2, 2,
• Quicksort (module),  2,
• Quicksort1 (module),  2, 2,
• Quicksort2 (module),  2, 2,
• QuicksortFun (module),  2,
• Randlists (module),  2,
• randomlist,  2,
• rank,  4, 4
• rank (type),  4, 4
• RBFun (module),  5, 5,
• rbtree (type),  5, 5, 5, 5, 5, 5, 5, 5
• Rbtrees (module),  5, 5,
• Rbtrees2 (module),  5, 5,
• Red,  5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5, 5
• red_ok,  5, 5, 5
• rotate_l,  5, 5, 5
• rotate_r,  5, 5, 5
• scc,  6,
• Scc (module),  6,
• search,  5, 5, 5, 5, 5, 5, 5
• SelectionsortFun (module),  2,
• Selsort (module),  2,
• set (type),  1, 1
• SET (sig),  1,
• siftdown,  4, 4, 4
• sort,  2, 2, 2, 2, 2, 2, 2, 2, 2, 2
• Sort (module),  2, 2, 2, 2, 2, 2, 2, 2
• SORT (sig),  2, 2, 2, 2, 2, 2, 2, 2
• sort_ok,  5, 5, 5
• step,  3, 3, 3
• steps,  3, 3, 3
• STREEFun (module),  5, 5,
• string_of_color,  5, 5
• string_of_inordertree,  5, 5
• string_of_node,  5, 5, 5
• string_of_tree,  5, 5, 5
• t (type),  1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 5, 5, 5, 5
• toggle,  5, 5, 5
• Trees (module),  5, 5,
• TYPE (sig),  1, 5, 5, 5, 5
• White,  6, 6
• Will_Not_Happen (exn),  5,