Missing exponent for the matching of structs #1925
Description
The definition of matching of structs superscripts only one of the vectors with its arity (section 3.3.9, with release 3.0).
{{ message }}
The definition of matching of structs superscripts only one of the vectors with its arity (section 3.3.9, with release 3.0).