sig
exception Bad_Initialisation of string
module UntypedFiles :
sig
val get : unit -> Cabs.file list
val set : Cabs.file list -> unit
val self : State.t
end
val get : unit -> Cil_types.file
val compute : unit -> unit
val is_computed : unit -> bool
val self : State.t
val set_file : Cil_types.file -> unit
val set_default_initialization : (unit -> unit) -> unit
val mark_as_computed : unit -> unit
end