dhall-1.42.3: dhall-lang/tests/binary-decode/success/unit/PiNamedXB.dhall

∀(x : Natural) → _