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