Merely traverses the reifiee and records local symbols along with their metalevels.
Makes sense of cross-stage bindings.
An (unreified) path that refers to definition with given fully qualified name
Creator for last portion of name (either TermName or TypeName)
reifee and other reification parameters, generate a tree of the form
Keeps track of whether this reification contains abstract type parameters
Reifies any supported value.
Reify a case object defined in Mirror
Reify a reference to a symbol
Reify a tree.
Reify a type.
Rolls back certain changes that were introduced during typechecking of the reifee.
Encapsulates reifier state
Symbol table of the reifee.
An (unreified) path that refers to term definition with given fully qualified name