sarrow

sarrow:=

expressions | scase_literal

expressions | scase_literal -> sarrow

expressions | scase_literal --> sarrow