Export all variable bindings' in Core-ML representation

[Forthoney]

At the CoreML IR, is it possible to retrieve ALL possible variable bindings, i.e. global declarations and local lambda bindings?
I've managed to retrieve the global val and fun declarations with something like CoreML.Val {vbs = { regionPat, ...}, ...} (although maybe there is a better way to do this as well), but would like to have a collection of symbols that appear in the program and, eventually, where they are declared/bound in the source code.
My end goal would be to have a rudimentary form of "Go To Definition" that is backed by the compiler itself.

[MatthewFluet]

If your goal is a "Go To Definition", then you would probably want to start with the info provided by the -show-def-use <file> compile-time option.

All of the source position information is discarded by the CoreML IR.