/Prelude-v19.0.0/Natural/lessThan

Source

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