Module Ast.UntypedFiles


module UntypedFiles: sig .. end

val get : unit -> Cabs.file list
The list of untyped AST that have been parsed.
Raises 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
Should not be used by casual users.
val self : State.t