The Definition of Standard ML