Up

Module Splay_tree

splay trees are binary search trees with a heuristic for moving recently accessed nodes closer to the root for easier access. They have amortized O(log n)-time access for any sequence of operations.

Signature

module type Key = sig .. end
module type S = sig .. end
module Make (Key : Key) : S with type key = Key.t