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 def_or_last_decl : Cil_types.varinfo -> Cil_types.global   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