dhall-1.42.3: dhall-lang/tests/parser/success/unit/AssertEquivalenceUnicodeA.dhall

assert : x ≡ y