Module Splay_tree.Splay_tree0
include Splay_tree0_intf.Splay_tree
module type Key = Splay_tree0_intf.Keymodule type Data = Splay_tree0_intf.Datamodule type Reduction_operation = Splay_tree0_intf.Reduction_operationtype nonrec ('k, 'd, 'a) reduction_operation= ('k, 'd, 'a) Splay_tree0_intf.reduction_operation
module type S = Splay_tree0_intf.Smodule Make_with_reduction : functor (Key : Key) -> functor (Data : Data) -> functor (R : Reduction_operation with type key = Key.t and type data = Data.t) -> S with type key = Key.t and type data = Data.t and type accum = R.accummodule Make_without_reduction : functor (Key : Key) -> functor (Data : Data) -> S with type key = Key.t and type data = Data.t and type accum = unitmodule Reduction_operations : sig ... end