SML/sml view 1