iron-numeric/io.github.iltotore.iron.numeric/Main

Main

object Main
class Object
trait Matchable
class Any

Value members

Concrete methods

def foo(x: Constrained[Int, -1 < ?? < 1]): Refined[Int]
@main
def testMain: Unit