path: root/dhall/tests/parser/success/hexadecimalB.txt

λ(x : Bool) → λ(x : Bool) → { example0 = 255, example1 = -6672, example2 = x@1 }