[MLton] can mlbasis rename the top-level?

Henry Cejtin henry.cejtin@sbcglobal.net
Tue, 06 Sep 2005 17:33:17 -0500


I would vote for ___ because it is less glaring.