This is documentation for version v0.9.0 of patricia-tree,
but the latest version is
v0.10.0.
Click here
to redirect to the latest version.
Patricia Tree API - Key
val to_int : t -> intA unique identifier for values of the type. Usually, we use a fresh counter that is increased to give a unique id to each object. Correctness of the operations requires that different values in a tree correspond to different integers.
Must be injective, return only positive values, and ideally fast