module UntypedFiles:sig
..end
val get : unit -> Cabs.file list
Bad_Initialization
if neither File.init_from_c_files
nor File.init_project_from_cil_file
nor File.init_from_cmdline
was called before.NoUntypedAst
if no untyped AST is available. This is in
particular the case for projects obtained by code transformation from
original C files.val set : Cabs.file list -> unit
val self : State.t