(* this file: https://dataswamp.org/~incal/rss/parser/add.grm *)

%%

%name add
%pos int

%term NUM of int | PLUS

%nonterm SUM of int

%%

SUM : NUM           (NUM)
    | SUM PLUS SUM  (SUM1 + SUM2)