| 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.
(* -------------------------- *)