type
map
(
'key
, 
'val
)
=
The type of maps.'key The type of keys used to access this map. Typically, arrays use integers as keys, while dictionaries use strings.'val The type of values contained by this map.'order The ordering used to define this 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.