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

{ bar = 2, baz = True, foo = +1 } : { bar : Natural, baz : Bool, foo : Integer }