From: Michal M. <mal...@pl...> - 2003-02-27 16:04:27
|
On Thu, Feb 27, 2003 at 02:51:58PM +0100, Stefano Zacchiroli wrote: > (* given a 'a option returns the 'a value if it's Some _ or raise an > exception, find a better name! *) > - val unsome : 'a option -> 'a Isn't this called valOf in SML? But unsome sounds better to me. -- : Michal Moskal ::::: malekith/at/pld-linux.org : GCS {C,UL}++++$ a? !tv : PLD Linux ::::::: Wroclaw University, CS Dept : {E-,w}-- {b++,e}>+++ h |