This is documentation for version v0.10.0 of patricia-tree,
but the latest version is
v0.11.0.
Click here
to redirect to the latest version.
Patricia Tree API - WrappedHomogeneousValue
Same as HomogeneousValue
, but uses a wrapper (unboxed) type instead of direct equality. This avoids a problem in the typechecker with overly eager simplification of aliases. More info on the OCaml discourse post.
type ('a, 'map) t = ('a, 'map) snd
The type of values. A 'map map
maps 'key key
to ('key, 'map) value
. Can be mutable if desired, unless it is being used in Hash-consed maps and sets.