The intro pattern [#] should work on forall-quantification too #225
Description
Metadata
Metadata
Assignees
Type
Fields
Give feedbackNo fields configured for issues without a type.
{{ message }}
The intro pattern
This would be useful, for example, on nested tuples.