Bei Records werden innerhalb der geschweiften Klammern die Feldelemente in beliebiger Reihenfolge angegeben. Für jedes Element wird der Feldname, gefolgt von einem Doppelpunkt und dem zugehörigen Wert, geschrieben.
Es müssen nur die gewünschten Elemente angegeben werden, bei varianten Records nur die zugehörigen Felder. Alle nicht angegebenen Felder sind automatisch mit Nullbytes belegt.
Syntax:
RecordConst: TypIdent "{" { fieldname ":" val { "," fieldname ":" val } } "}".