[MLton] type-str.fun

Matthew Fluet fluet@cs.cornell.edu
Thu, 19 Feb 2004 21:15:07 -0500 (EST)


mlton/elaborate/type-str.{sig,fun}
Can they be removed from the repository?