dhall-1.42.3: dhall-lang/tests/normalization/success/simplifications/ifThenElseA.dhall

{ example0 = λ(x : Bool) → if x then True else False
, example1 = λ(x : Bool) → λ(y : Text) → if x then y else y
}