Nat

sealed trait Nat
Companion:
object
class Object
trait Matchable
class Any
class Succ[N0]
object _0.type

Type members

Types

type N <: Nat