{ abs =
      ./abs.dhall
        sha256:35212fcbe1e60cb95b033a4a9c6e45befca4a298aa9919915999d09e69ddced1
    ? ./abs.dhall
, add =
      ./add.dhall
        sha256:7da1306a0bf87c5668beead2a1db1b18861e53d7ce1f38057b2964b649f59c3b
    ? ./add.dhall
, clamp =
      ./clamp.dhall
        sha256:ea42096cf3e024fadfaf910e0b839005b0ea7514fff11e5a3950a77694d9c5d2
    ? ./clamp.dhall
, equal =
      ./equal.dhall
        sha256:2d99a205086aa77eea17ae1dab22c275f3eb007bccdc8d9895b93497ebfc39f8
    ? ./equal.dhall
, greaterThan =
      ./greaterThan.dhall
        sha256:d23affd73029fc9aaf867c2c7b86510ca2802d3f0d1f3e1d1a93ffd87b7cb64b
    ? ./greaterThan.dhall
, greaterThanEqual =
      ./greaterThanEqual.dhall
        sha256:a9fa2dc5cd6067a23b39d7fe8d14a63109583b320429fb0e446658a5aae0a958
    ? ./greaterThanEqual.dhall
, lessThan =
      ./lessThan.dhall
        sha256:eeaa0081d10c6c97464ef193c40f1aa5cbb12f0202972ab42f3d310c2fd6a3f0
    ? ./lessThan.dhall
, lessThanEqual =
      ./lessThanEqual.dhall
        sha256:e3cca9f3942f81fa78a2bea23c0c24519c67cfe438116c38e797e12dcd26f6bc
    ? ./lessThanEqual.dhall
, multiply =
      ./multiply.dhall
        sha256:dcb1ed7c8475ece8d67db92cd249fc728541778ff82509e28c3760e341880e4d
    ? ./multiply.dhall
, negate =
      ./negate.dhall
        sha256:2373c992e1de93634bc6a8781eb073b2a92a70170133e49762a785f3a136df5d
    ? ./negate.dhall
, negative =
      ./negative.dhall
        sha256:23e4b3c61eea9e878a7f83bf25fd0ea2c6a6d60174890d65be885828b690a570
    ? ./negative.dhall
, nonNegative =
      ./nonNegative.dhall
        sha256:b463373f070df6b1c8c7082051e0810fee38b360bab35256187c8c2b6af5c663
    ? ./nonNegative.dhall
, nonPositive =
      ./nonPositive.dhall
        sha256:e00a852eed5b84ff60487097d8aadce53c9e5301f53ff4954044bd68949fac3b
    ? ./nonPositive.dhall
, positive =
      ./positive.dhall
        sha256:7bdbf50fcdb83d01f74c7e2a92bf5c9104eff5d8c5b4587e9337f0caefcfdbe3
    ? ./positive.dhall
, show =
      ./show.dhall
        sha256:ecf8b0594cd5181bc45d3b7ea0d44d3ba9ad5dac6ec17bb8968beb65f4b1baa9
    ? ./show.dhall
, subtract =
      ./subtract.dhall
        sha256:a34d36272fa8ae4f1ec8b56222fe8dc8a2ec55ec6538b840de0cbe207b006fda
    ? ./subtract.dhall
, toDouble =
      ./toDouble.dhall
        sha256:77bc5d635dc4d952f37cc96f2a681d5ac503b4e8b21fc00055b1946adb5beda7
    ? ./toDouble.dhall
, toNatural =
      ./toNatural.dhall
        sha256:4d128730d74e7f832e53873cb5204aa91b79758be5ce4e1aa991fe1951304a0e
    ? ./toNatural.dhall
}