Module type `Splay_tree0_intf.Splay_tree`

module type Key = Key

module type Data = Data

module type Reduction_operation = Reduction_operation

type nonrec ('k, 'd, 'a) reduction_operation = ('k, 'd, 'a) reduction_operation

module type S = S

module 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.accum

module Make_without_reduction : functor (Key : Key) -> functor (Data : Data) -> S with type key = Key.t and type data = Data.t and type accum = unit

module Reduction_operations : sig ... end