dhall-1.19.0: tests/parser/success/unicodeDoubleQuotedStringB.dhall

[
  18,
  "∀(a : Type) → a"
]