(select: XtensionType).ctorRef(ctor)
(select: XtensionType).ctorRef(ctor)
(select: XtensionType).pat
(select: XtensionType).pat
(select: XtensionPatType).tpe
(select: XtensionPatType).tpe