I\'m working through the book Modern Compiler Implementation in ML, and learning sml at the same time.
I\'m stumped by one of the exercises (1.1.b) in the first chapt
