class RecType
extends RefinedOrRecType with BindingType

Constructors

RecType ( parentExp: RecType => Type )

Members

var opened : Boolean
var openedTwice : Boolean
val parent : Type
private val parentExp : RecType => Type
private def checkInst ( implicit ctx: Context ) : RecType
override def computeHash : Int
def derivedRecType ( parent: Type ) ( implicit ctx: Context ) : RecType
override def equals ( other: Any ) : Boolean
def isReferredToBy ( tp: Type ) ( implicit ctx: Context ) : Boolean
def openedTwice_= ( x$1: Boolean ) : Unit
def opened_= ( x$1: Boolean ) : Unit
def rebind ( parent: Type ) ( implicit ctx: Context ) : Type
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.