Up

Module Splay_tree = Splay_tree

Signature

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