package splay_tree

You can search for identifiers within the package.

in-package search v0.2.0

package splay_tree

splay_tree
- LICENSE
- Library splay_tree
  - Splay_tree
    
    Splay_tree0
    
    Key
    
    Data
    
    Reduction_operation
    
    S
    
    Make_with_reduction
    
    Partition
    
    Make_without_reduction
    
    Partition
    
    Reduction_operations
    
    Splay_tree0_intf
    
    Key
    
    Data
    
    Reduction_operation
    
    S
    
    Partition
    
    Splay_tree
    
    Key
    
    Data
    
    Reduction_operation
    
    S
    
    Make_with_reduction
    
    Partition
    
    Make_without_reduction
    
    Partition
    
    Reduction_operations
    
    Std
    
    Splay_tree
- Sources
  - splay_tree
    
    splay_tree.ml
    
    splay_tree0.ml
    
    splay_tree0_intf.ml
    
    std.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `Splay_tree.Splay_tree0`Source

include Splay_tree0_intf.Splay_tree

Sourcemodule type Key = Splay_tree0_intf.Key

Sourcemodule type Data = Splay_tree0_intf.Data

Sourcemodule type Reduction_operation = Splay_tree0_intf.Reduction_operation

Source

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

Sourcemodule type S = Splay_tree0_intf.S

Source

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

Source

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

Sourcemodule Reduction_operations : sig ... end

package splay_tree

Module Splay_tree.Splay_tree0Source

Module `Splay_tree.Splay_tree0`Source