(* *)
(* ********************************************************************** *)
-include "string/string.ma".
-include "compiler/utility.ma".
-include "freescale/word32.ma".
-include "compiler/ast_type.ma".
include "compiler/env_to_flatenv.ma".
-include "compiler/ast_tree.ma".
(* **************************** *)
(* ALBERO DI TOKEN CON FLAT ENV *)