Convert a map to a list of values.
m
A map.
returns
A list containing all the values pairs in m, in no specific order.
type
Map_private.map
(
'key
, 
'val
)
=
Variant
Name Summary
add
bal
Be careful : this function concatenate two maps without removing bindings having the same key
map

Comments

The browser you use is not supported by this application, probably because it lacks some critical features.
For a better experience, please consider using this application with a supported browser.