[MLton] can mlbasis rename the top-level?

[Henry Cejtin]

I agree (changing my earlier comment) and would vote for
	<basdes> --> "_sml" <program> "_end"
The argument is that the _ is symmetric in both positions.