ToInt

sealed trait ToInt[N <: Nat]
Companion:
object
class Object
trait Matchable
class Any

Value members

Abstract methods

def apply(): Int
Implicitly added by succToInt
def apply(): Int