SML/sml view 3