dhall-1.25.0: dhall-lang/tests/semantic-hash/success/simplifications/eqA.dhall

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