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

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