Generated with

core/org.hungerford.generic.schema.types/Nat/Succ

Succ

org.hungerford.generic.schema.types.Nat$.Succ

trait Succ[N <: Nat]() extends Nat

Attributes

Graph
Supertypes: trait Nat
class Object
trait Matchable
class Any

Members list

Concise view

Generated with