[MLton] where datatype ... = ...?

Henry Cejtin henry.cejtin@sbcglobal.net
Tue, 30 Aug 2005 10:38:53 -0500


In the -show-basis output of MLton, what is the exact meaning of a signature
expression of the form
	sigexp where datatype tyvarseq longtycon = ty
(which I don't see in the definition and am assuming is some kind of informal
extension just for this output)?