sig   val voidType : Cil_types.typ   module CurrentLoc :     sig       val self : State.t       val name : string       val mark_as_computed : ?project:Project.t -> unit -> unit       val is_computed : ?project:Project.t -> unit -> bool       module Datatype : Datatype.S       val add_hook_on_update : (Datatype.t -> unit) -> unit       val howto_marshal : (Datatype.t -> 'a) -> ('-> Datatype.t) -> unit       type data = Cil_types.location       val set : data -> unit       val get : unit -> data       val clear : unit -> unit     end   module Vid : sig val next : unit -> int end   val set_vid : Cil_types.varinfo -> unit   val copy_with_new_vid : Cil_types.varinfo -> Cil_types.varinfo   val change_varinfo_name : Cil_types.varinfo -> string -> unit   val new_raw_id : unit -> int   val make_logic_var_kind :     string ->     Cil_types.logic_var_kind -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_var : string -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_var_global :     string -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_var_formal :     string -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_var_quant :     string -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_var_local :     string -> Cil_types.logic_type -> Cil_types.logic_var   val make_logic_info : string -> Cil_types.logic_info   val make_logic_info_local : string -> Cil_types.logic_info end