dhall-1.40.0: dhall-lang/tests/semantic-hash/success/prelude/Optional/build/0A.dhall

../../../../../../Prelude/Optional/build.dhall
Natural
( λ(optional : Type)
→ λ(some : Natural → optional)
→ λ(none : optional)
→ some 1
)