While

Term

Wildcard

Importee Type Pat

withAttrs

XtensionAttributedCtorName XtensionAttributedName XtensionAttributedTerm XtensionAttributedTermName XtensionAttributedTermParam

withEnv

XtensionAttributedName XtensionAttributedTerm

withOrigin

XtensionOriginTree

withTypechecked

XtensionTypecheckableTree

within

Private Protected

writeReplace

Nonrecursive