include Splay_tree.Splay_tree0_intf.Splay_tree
module type Key = Splay_tree.Splay_tree0_intf.Key
module type Data = Splay_tree.Splay_tree0_intf.Data
type ('k, 'd, 'a) reduction_operation
= ('k, 'd, 'a) Splay_tree.Splay_tree0_intf.reduction_operation
module type S = Splay_tree.Splay_tree0_intf.S
module Reduction_operations : sig ... end