package baby

You can search for identifiers within the package.

in-package search v0.2.0

Baby: Fast Sets Based on Balanced Binary Search Trees
- Library baby
  - Baby
    
    OrderedType
    
    BASE_SET
    
    BASE_MAP
    
    SET
    
    Enum
    
    MAP
    
    Enum
    
    SET_MAP
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Make
    
    Set
    
    Enum
    
    Map
    
    Enum
    
    H
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Make
    
    Set
    
    Enum
    
    Map
    
    Enum
    
    W
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Make
    
    Set
    
    Enum
    
    Map
    
    Enum
    
    Custom
    
    Set
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Map
    
    OrderedType
    
    S
    
    Make
    
    Enum
    
    Make
    
    Set
    
    Enum
    
    Map
    
    Enum
- Sources
  - baby
    
    ArrayExtra.ml
    
    Baby.ml
    
    H.ml
    
    HeightMap.ml
    
    HeightSet.ml
    
    Signatures.ml
    
    W.ml
    
    WeightMap.ml
    
    WeightSet.ml
    
    baby__.ml

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

Module `Custom.Set`Source

Sourcemodule type OrderedType = OrderedType

Sourcemodule type S = SET

Sourcemodule Make (E : OrderedType) : SET with type elt = E.t