exp::=