(* ********************************************************************** *)
include "string/string.ma".
-include "compiler/utility.ma".
-include "freescale/word32.ma".
include "compiler/ast_type.ma".
(* ****************** *)
| PREAST_EXPR_DIV: preast_expr → preast_expr → preast_expr
| PREAST_EXPR_SHR: preast_expr → preast_expr → preast_expr
| PREAST_EXPR_SHL: preast_expr → preast_expr → preast_expr
+| PREAST_EXPR_AND: preast_expr → preast_expr → preast_expr
+| PREAST_EXPR_OR: preast_expr → preast_expr → preast_expr
+| PREAST_EXPR_XOR: preast_expr → preast_expr → preast_expr
| PREAST_EXPR_GT : preast_expr → preast_expr → preast_expr
| PREAST_EXPR_GTE: preast_expr → preast_expr → preast_expr
(* dichiarazioni *)
with preast_decl : Type ≝
PREAST_NO_DECL: list preast_stm → preast_decl
-| PREAST_DECL: bool → aux_str_type → ast_type → option preast_init → preast_decl → preast_decl.
+| PREAST_CONST_DECL: aux_str_type → ast_type → preast_init → preast_decl → preast_decl
+| PREAST_VAR_DECL: aux_str_type → ast_type → option preast_init → preast_decl → preast_decl.
(* -------------------------- *)