package splay_tree

You can search for identifiers within the package.

in-package search v0.2.0

package splay_tree

splay_tree
- Splay_tree
  - Splay_tree0
    
    Make_with_reduction
    
    Data
    
    Key
    
    Partition
    
    R
    
    Make_without_reduction
    
    Data
    
    Key
    
    Partition
    
    Reduction_operations
  - Splay_tree0_intf
    
    Data
    
    Key
    
    Reduction_operation
    
    S
    
    Partition
    
    Splay_tree
    
    Make_with_reduction
    
    Data
    
    Key
    
    Partition
    
    R
    
    Make_without_reduction
    
    Data
    
    Key
    
    Partition
    
    Reduction_operations
  - Std

Legend:
Library
Module
Module type
Parameter
Class
Class type

type key = Key.t

type data = Data.t

type accum

val identity : accum

val singleton : key:key -> data:data -> accum

val combine : accum -> accum -> accum

combine is required to be associative and have identity as its identity. In other words, they must form a monoid.