abstract case class SkolemType
extends UncachedProxyType with ValueType with SingletonType

A skolem type reference with underlying type binder.

Constructors

SkolemType ( info: Type )

Members

val info : Type
private var myRepr : String
def _1 : T1
def derivedSkolemType ( info: Type ) ( implicit ctx: Context ) : SkolemType
override def equals ( that: Any ) : Boolean
override def hashCode : Int
private def myRepr_= ( x$1: String ) : Unit
def repr ( implicit ctx: Context ) : String
override def toString : String
override def underlying ( implicit ctx: Context ) : Type

The type to which this proxy forwards operations.

The type to which this proxy forwards operations.