io.github.iltotore:iron-numeric_3 (maven): Hardened type constraints for Scala
Keywords: assert|functional-programming|refinement-types|scala|types