Module PatriciaTree.ValueSource

Default implementation of VALUE, used in MakeMap.

Sourcetype 'a t = 'a

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.