[MLton] Universal type wiki page wrong?
Henry Cejtin
henry@sourcelight.com
Wed, 26 Jan 2005 15:04:52 -0600
I agree.
The text should also be made more clear. The statement
project returns an option because it may be applied to an element
in the universal type not created by inject.
means that given a particular (inject, project) pair which was the result
of calling embed, that particular project, applied to a value of the
universal type must return NONE if the value did not come from calling
that particular inject.