adding sml syntax