mtg/com.github.gchudnov.mtg/Mark/Succ

Succ

case Succ[T](x: Mark[T])

Value members

Inherited methods

def at(using Domain[T]): At[T]
Inherited from:
Mark
def eval(using Domain[T]): Value[T]
Inherited from:
Mark
def isAt: Boolean
Inherited from:
Mark
def isPred: Boolean
Inherited from:
Mark
def isSucc: Boolean
Inherited from:
Mark
def pred: Mark[T]
Inherited from:
Mark
def productElementNames: Iterator[String]
Inherited from:
Product
def productIterator: Iterator[Any]
Inherited from:
Product
def succ: Mark[T]
Inherited from:
Mark