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

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