final object SkolemType

Constructors

Members

def apply ( info: Type ) ( implicit ctx: Context ) : CachedSkolemType
def unapply ( x$1: SkolemType ) : SkolemType