sig
  exception Bad_Initialization of string
  exception NoUntypedAst
  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 mark_as_changed : unit -> unit
  val mark_as_grown : unit -> unit
  val add_monotonic_state : State.t -> unit
  val self : State.t
  val apply_after_computed : (Cil_types.file -> unit) -> unit
  val is_def_or_last_decl : Cil_types.global -> bool
  val clear_last_decl : unit -> unit
  val set_file : Cil_types.file -> unit
  val set_default_initialization : (unit -> unit) -> unit
  val mark_as_computed : unit -> unit
  val add_hook_on_update : (unit -> unit) -> unit
  val add_linked_state : State.t -> unit
end