Nat

sealed abstract class Nat
Companion:
object
class Object
trait Matchable
class Any
class Base
class _0
class _1
class _2
class _3
class _4
class _5
class _6
class _7
class _8
class _9
class Digit2[N1, N2]
class Digit3[N1, N2, N3]
class Digit4[N1, N2, N3, N4]
class Digit5[N1, N2, N3, N4, N5]
class Digit6[N1, N2, N3, N4, N5, N6]
class Digit7[N1, N2, N3, N4, N5, N6, N7]
class Digit8[N1, N2, N3, N4, N5, N6, N7, N8]
class Digit9[N1, N2, N3, N4, N5, N6, N7, N8, N9]