/Prelude-v21.1.0/Natural/lessThan

Source

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