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

Main

object Main
class Object
trait Matchable
class Any

Value members

Concrete methods

def dummy(x: Int \ 0): Unit
def dummy2(x: Constrained[Int, Equal[0]]): Unit
@main
def test: Unit