Text this: The Standard ML basis manual /