3 ms·Indeed. This is done better and with more care in Standard ML.by jlouis 12y agoIndeed. This is done better and with more care in Standard ML.