dhall-1.22.0: dhall-lang/tests/normalization/success/simplifications/orB.dhall

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