Assuming you have a file test.fs, you can use the following command to create an F # signature file test.fsithat contains type information for all top-level definitions:
Fsc.exe --sig:test.fsi test.fs
To get information about local variables, you need to use the F # compiler as a service. There is a simple command line example that demonstrates how to call the API, and you can also learn the F # binding for MonoDevelop .