nutcracker/nutcracker.util/Nat/Succ

Succ

case class Succ[N0 <: Nat](n: N0) extends Nat
trait Serializable
trait Product
trait Equals
trait Nat
class Object
trait Matchable
class Any

Type members

Types

type N = Succ[N]

Value members

Inherited methods

def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product