Existing map specification syntax, as was introduced in 17.0, allows the following different syntaxes:
-
map()or#{}: the type of any map (of any size). -
#{a => integer(), b => list()}
A map that may only contain keys a and b. If it contains a key a, then it must be mapped to an integer value. Analogously for b.
