I certainly use the -show-basis all the time. I use it for two purposes: With no input program to get very useful incredibly terse documentation of the Standard ML basis, and with a program as an incredibly terse summary of the program.