While
Term
Wildcard
Importee Type Pat
withAttrs
XtensionAttributedCtorName XtensionAttributedName XtensionAttributedTerm XtensionAttributedTermName XtensionAttributedTermParam
withEnv
XtensionAttributedName XtensionAttributedTerm
withOrigin
XtensionOriginTree
withTypechecked
XtensionTypecheckableTree
within
Private Protected
writeReplace
Nonrecursive