Nat

trait Nat
Companion
object
class Object
trait Matchable
class Any
class Succ[P]
class _0

Type members

Types

type N <: Nat