%{ open Ast %}

%token PLUS EOF
%token <string> LITERAL

%left PLUS 

%start expr
%type < Ast.expr> expr

%%

expr:
  expr PLUS   expr { Binop($1, Add, $3) }
| LITERAL          { Lit($1) }