Stav dette: The Standard ML basis library