Terminates a pattern definition.