dhall-1.19.0: tests/normalization/success/simplifications/eqB.dhall

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