splay_tree

A splay tree implementation
IN THIS PACKAGE
include Splay_tree0_intf.Splay_tree
module type Key = Splay_tree0_intf.Key
module type Data = Splay_tree0_intf.Data
module type Reduction_operation = Splay_tree0_intf.Reduction_operation
type nonrec ('k, 'd, 'a) reduction_operation = ( 'k, 'd, 'a ) Splay_tree0_intf.reduction_operation
module type S = Splay_tree0_intf.S
module Make_with_reduction (Key : Key) (Data : Data) (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 (Key : Key) (Data : Data) : S with type key = Key.t and type data = Data.t and type accum = unit
module Reduction_operations : sig ... end