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