package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

Maps with integers keys using Patricia Trees.

From the paper of Chris Okasaki and Andrew Gill: 'Fast Mergeable Integer Maps'.

Modified for hashconsing the subtrees

module Make
  (K : Map_intf.TaggedEqualType) : 
  Map_intf.Gen_Map_hashcons with type NT.key = K.t

Remarks:

translate is currently implemented using a complete reconstruction

val hsb : int -> int

highest bit set