Module Splay_tree

module Splay_tree: sig .. end

module type Key = sig .. end

module type S = sig .. end

module Make: 
functor (Key : Key) -> S  with type key = Key.t