Patricia Tree API - Value
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.
Value
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.