SML assignment