[MLton-user] re: Generic pickler and MLB files

[Henry Cejtin]

Re writing a tool to compute a topological order, note that there
is a standard one, dating from before .a libraries having an index:
tsort.  It reads in a file with lines that are pairs of tokens indicating
that the first element is less than the second and outputs a linear
order compatible with it (complaining if there are circular dependencies).