%{
(* parservhc.mly *)
(* syntaxe concrete (sans verification des conditions de contexte) *)

open Aintv;;
%}

%token LET ...
%token <int> INT
%token <string> IDENT
%start program
%type <Aintv.prog> program
...
%type <Print.expr> expr ...

%%

/* Regles de grammaire et actions sémantiques */
   
program:
          ...	{ ... }
        | ... 	{ ... }
;

...
expr:
          ...   { ... }
        | ...   { ... }

;
...

%%