10.6 Records in Patterns

A pattern that matches a certain record is created in the same way as a record is created:

  1. #Name{Field1=Expr1,...,FieldK=ExprK}

In this case, one or more of Expr1…ExprK can be unbound variables.