Module Mlang.Dgfip_gen_files

val open_file : string -> Stdlib.out_channel * Stdlib.Format.formatter
val gen_table_varinfo : Com.Var.t Mlang.StrMap.t -> Com.CatVar.t -> Com.CatVar.data -> ((string * int * int * Mlang.StrSet.t) Mlang.Com.CatVar.Map.t * string Mlang.StrMap.t) -> (string * int * int * Mlang.StrSet.t) Mlang.Com.CatVar.Map.t * string Mlang.StrMap.t
val gen_table_varinfos : Mir.program -> Dgfip_options.flags -> (string * int * int * Mlang.StrSet.t) Mlang.Com.CatVar.Map.t
val gen_decl_varinfos : Stdlib.Format.formatter -> Mir.program -> (string * int * int * Mlang.StrSet.t) Mlang.Com.CatVar.Map.t -> unit
val is_valid_app : 'a Mlang.StrMap.t -> bool
val gen_erreurs_c : Stdlib.Format.formatter -> Dgfip_options.flags -> Mir.program -> unit
val gen_conf_h : Stdlib.Format.formatter -> Mir.program -> Dgfip_options.flags -> unit
val gen_dbg : Stdlib.Format.formatter -> unit
val gen_const : Stdlib.Format.formatter -> unit
val gen_lib : Stdlib.Format.formatter -> Mir.program -> Dgfip_options.flags -> unit
val gen_decl_functions : Stdlib.Format.formatter -> Mir.program -> unit
val gen_decl_targets : Stdlib.Format.formatter -> Mir.program -> unit
val gen_mlang_h : Stdlib.Format.formatter -> Mir.program -> Dgfip_options.flags -> (string * int * int * Mlang.StrSet.t) Mlang.Com.CatVar.Map.t -> unit
val gen_mlang_c : Stdlib.Format.formatter -> Dgfip_options.flags -> unit
val generate_auxiliary_files : Dgfip_options.flags -> Mir.program -> unit