dhall-1.28.0: dhall-lang/Prelude/Integer/equal

{-
`equal` checks if two Integers are equal.
-}
let greaterThan =
        ./greaterThan sha256:accaa6b7cbca7ec2ace4a529e5f3bb57679df2b5ad962bde5b7867d9253d4b8c
      ? ./greaterThan

let Bool/not =
        ../Bool/not sha256:723df402df24377d8a853afed08d9d69a0a6d86e2e5b2bac8960b0d4756c7dc4
      ? ../Bool/not

let equal
    : Integer → Integer → Bool
    =   λ(a : Integer)
      → λ(b : Integer)
      → Bool/not (greaterThan a b) && Bool/not (greaterThan b a)

let example0 = assert : equal +5 +5 ≡ True

let example1 = assert : equal +5 +6 ≡ False

let example2 = assert : equal +5 -5 ≡ False

let example3 = assert : equal -5 -5 ≡ True

in  equal