Current Syntax

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.