Make.Value
type ('key, 'map) t
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.
'map map
'key key
('key, 'map) value
hash_consed