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