Patterns

Patterns are identical to SML patterns without support for user-defined infix constructors, though :: is supported. Record patterns can include field names with no assigned patterns (the pattern for such a field is taken to be the field name) and "flex record" ...'s to stand for unused fields.