ExprTypeImpl

abstract def mkConst[S <: Sys[S]](id: mkConst.S.ID, value: A)(implicit tx: mkConst.S.Tx): Const[S]

abstract def mkVar[S <: Sys[S]](targets: Targets[S], vr: mkVar.S.Var[Ex[S]], connect: Boolean)(implicit tx: mkVar.S.Tx): Var[S]

abstract def typeID: Int

implicit abstract def valueSerializer: ImmutableSerializer[A]

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

object Var

final def addExtension(exts: Array[Extension1[Repr]], ext: Extension1[Repr]): Array[Extension1[Repr]]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def findExt(op: Int): Extension1[Repr]

final def findExt(exts: Array[Extension1[Repr]], op: Int): Extension1[Repr]

final def getClass(): Class[_]

def hashCode(): Int

def init(): Unit

final def isInstanceOf[T0]: Boolean

def mkExtArray(size: Int): Array[Extension1[Repr]]

final def ne(arg0: AnyRef): Boolean

implicit final def newConst[S <: Sys[S]](value: A)(implicit tx: newConst.S.Tx): Const[S]

final def newVar[S <: Sys[S]](init: Ex[S])(implicit tx: newVar.S.Tx): Var[S]

final def notify(): Unit

final def notifyAll(): Unit

final def read[S <: Sys[S]](in: DataInput, access: read.S.Acc)(implicit tx: read.S.Tx): Ex[S]

final def readConst[S <: Sys[S]](in: DataInput, access: readConst.S.Acc)(implicit tx: readConst.S.Tx): Const[S]

def readCookie[S <: Sys[S]](in: DataInput, access: readCookie.S.Acc, cookie: Byte)(implicit tx: readCookie.S.Tx): Ex[S]

Reads an identified object whose cookie is neither 3 (constant) nor 0 (node).

final def readExtension[S <: Sys[S]](op: Int, in: DataInput, access: TypeImpl1.readExtension.S.Acc, targets: Targets[S])(implicit tx: TypeImpl1.readExtension.S.Tx): Repr[S]

def readIdentifiedObj[S <: Sys[S]](in: DataInput, access: readIdentifiedObj.S.Acc)(implicit tx: readIdentifiedObj.S.Tx): Ex[S]

def readNode[S <: Sys[S]](in: DataInput, access: readNode.S.Acc, targets: Targets[S])(implicit tx: readNode.S.Tx): Ex[S]

The default implementation reads a type Int as operator id Int which will be resolved using readOpExtension.

final def readObj[S <: Sys[S]](in: DataInput, access: stm.Obj.Type.readObj.S.Acc)(implicit tx: stm.Obj.Type.readObj.S.Tx): Obj[S]

final def readVar[S <: Sys[S]](in: DataInput, access: readVar.S.Acc)(implicit tx: readVar.S.Tx): Var[S]

final def registerExtension(ext: Extension1[Repr]): Unit

implicit final def serializer[S <: Sys[S]]: Serializer[serializer.S.Tx, serializer.S.Acc, Ex[S]]

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

implicit final def varSerializer[S <: Sys[S]]: Serializer[varSerializer.S.Tx, varSerializer.S.Acc, Var[S]]

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit