Splay_tree.Splay_tree0_intf
module type Key = sig ... end
module type Data = sig ... end
module type Reduction_operation = sig ... end
type ('k, 'd, 'a) reduction_operation
= (module Reduction_operation with type accum = 'a and type data = 'd and type key = 'k)
module type S = sig ... end
module type Splay_tree = sig ... end