---

6.6 Patterns

pattern	::=	value-name
	|	_
	|	constant
	|	pattern as  value-name
	|	( pattern )
	|	( pattern :  typexpr )
	|	pattern |  pattern
	|	ncconstr  pattern
	|	`tag-name  pattern
	|	#typeconstr-name
	|	pattern  { , pattern }
	|	{ field =  pattern  { ; field =  pattern } }
	|	[ pattern  { ; pattern