The definition of Standard ML