22 Dec
2007
22 Dec
'07
4:48 p.m.
* George Karabotsos:
I am wondering if there is anything equivalent in ML?
I think it's Option.valOf.
--
Florian Weimer fweimer@bfk.de
BFK edv-consulting GmbH http://www.bfk.de/
Kriegsstra?e 100 tel: +49-721-96201-1
D-76133 Karlsruhe fax: +49-721-96201-99