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
.