Module `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