package ptmap

You can search for identifiers within the package.

in-package search v0.2.0

ptmap
- CHANGES
- README
- Library ptmap
  - Ptmap
- Sources
  - ptmap
    
    ptmap.ml

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

Integer map implementation using Patricia trees

Follows "Fast Mergeable Integer Maps" by Chris Okasaki and Andrew Gill (Workshop on ML, 1998)

Note: In 2017, a bug was found in the paper above, which is described in "QuickChecking Patricia Trees" by Jan Midtgaard. This is fixed in the present OCaml code.