dhall-1.21.0: dhall-lang/tests/normalization/success/simplifications/andB.dhall

{ example0 = λ(x : Bool) → x
, example1 = λ(x : Bool) → x
, example2 = λ(x : Bool) → False
, example3 = λ(x : Bool) → False
, example4 = λ(x : Bool) → x
}