DontCacheIfHashB.dhall « unit « success « import « tests « dhall - dhall_rust - working copy forked from https://github.com/Nadrieril/dhall-rust

summary refs log tree commit diff

path: root/dhall/tests/import/success/unit/DontCacheIfHashB.dhall

blob: 660a1cc06a38875c282f8b5468e784b9f2f4af26 (plain)

1	λ(_ : Type) → λ(_ : Optional _) → merge { `None` = True, `Some` = λ(_ : _@1) → False } _