path: root/dhall/tests/normalization/success/unit/RecordTypeSortFieldsB.dhall

{ a : Natural, b : Bool }