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