concreteSyntax.mli 323 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10
(* $Id: concreteSyntax.mli,v 1.3 2005/12/01 16:20:06 regisgia Exp $ *)
type grammar =
    { 
      pg_filename	   : Syntax.filename;
      pg_declarations	   : (Syntax.declaration Positions.located) list;
      pg_rules             : Syntax.parameterized_rule list;
      pg_trailer	   : Syntax.trailer option;
    }