Another case of parenthesising operator names, this time in a ConDecl.
Attach a file by drag & drop or click to upload
