Position of a Declaration

Stream: lean4

[Henrik Böving]

Back with another Meta question!

Is it possible to obtain the line (basically the SourceInfo) for constants (in the ConstantInfo sense) loaded from olean files? So basically when I obtain an Environment from olean files, is it possible to obtain the line where the constants in Environment.constants were declared in for documentation purposes?