Codegen parameter names

Stream: lean4

[Mac]

Is there any convenient way to recover the parameter names of declaration after it has been compiled? (e.g., from a IR.Decl?) Or would one have to construct a mapping from an IR.Param to some higher-level representation of the declaration?

[Mac]

In particular, my use case is getting the names of parameters of a constant declaration.