7 [ t1 = term; SYMBOL "+"; t2 = term ->
8 return_term loc (Appl [Ident ("plus", []); t1; t2])
9 | t1 = term; SYMBOL "-"; t2 = term ->
10 return_term loc (Appl [Ident ("minus", []); t1; t2])
15 [ t1 = term; SYMBOL "*"; t2 = term ->
16 return_term loc (Appl [Ident ("times", []); t1; t2])
17 | t1 = term; SYMBOL "/"; t2 = term ->
18 return_term loc (Appl [Ident ("div", []); t1; t2])
23 [ SYMBOL "-"; t = term ->
24 return_term loc (Appl [Ident ("uminus", []); t])