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

∀(x : Natural) → _