This is documentation for the development version of Patricia Tree,
the latest released version is
v0.10.0.
Click here
to redirect to the latest version.
Patricia Tree API - Value
Default implementation of VALUE
, used in MakeMap
.
The type of values. A 'map map
maps key
to 'map value
. Can be mutable if desired, unless it is being used in Hash-consed maps and sets.