/Prelude-v22.0.0/Natural/lessThan

Copy path to clipboard

Source

  ./lessThan.dhall
    sha256:3381b66749290769badf8855d8a3f4af62e8de52d1364d838a9d1e20c94fa70c
? ./lessThan.dhall