Table of Contents
A list of name: domain pairs, of any size. Denoted by
letting x be domain record{ name1 : domain1, name2: domain2, ...}
as shown here.
Like a map or a tuple, but they are referred to using their labels.
x[name1] = domain1
This is demonstrated here. Read more about it here.