sjson new core/sjsonnew/Nat

Nat

object Nat
Companion
class
class Object
trait Matchable
class Any

Type members

Classlikes

final case
class Succ[P <: Nat]() extends Nat
final
class _0 extends Nat

Types

type _1 = Succ[_0]
type _10 = Succ[_9]
type _11 = Succ[_10]
type _12 = Succ[_11]
type _13 = Succ[_12]
type _14 = Succ[_13]
type _15 = Succ[_14]
type _16 = Succ[_15]
type _17 = Succ[_16]
type _18 = Succ[_17]
type _19 = Succ[_18]
type _2 = Succ[_1]
type _20 = Succ[_19]
type _21 = Succ[_20]
type _22 = Succ[_21]
type _3 = Succ[_2]
type _4 = Succ[_3]
type _5 = Succ[_4]
type _6 = Succ[_5]
type _7 = Succ[_6]
type _8 = Succ[_7]
type _9 = Succ[_8]