io.github.iltotore:iron_native0.4_3 (maven): Strong type constraints for Scala
Keywords: assert|functional-programming|refinement-types|scala|types