summaryrefslogtreecommitdiff
path: root/dhall/tests/parser/success/unit/operators/PrecedenceRecordB.txt
blob: 772382dc7ee056b2ef0d52e91f6dc9c10a0066b6 (plain)
1
a ⫽ b c ∧ d ⫽ e.{ x } ∧ f