mtg/com.github.gchudnov.mtg/Mark

Mark

enum Mark[T]
Companion:
object
trait Enum
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Type members

Enum entries

case At[T](value: Value[T])
case Pred[T](x: Mark[T])
case Succ[T](x: Mark[T])