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.val set : Cabs.file list -> unit
val self : Project.Computation.t