module Cil_const:smart constructors for some data typessig
..end
val voidType : Cil_types.typ
module CurrentLoc:State_builder.Ref
with type data = location
Cil.CurrentLoc
)
val d_loc : Format.formatter -> Cil_types.location -> unit
val d_thisloc : Format.formatter -> unit
(CurrentLoc.get ())
val error : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
Localized internal-error with exception raised.
val fatal : ('a, Format.formatter, unit, 'b) Pervasives.format4 -> 'a
module Build_Counter:
module Vid:sig
..end
val set_vid : Cil_types.varinfo -> unit
val copy_with_new_vid : Cil_types.varinfo -> Cil_types.varinfo
val new_raw_id : unit -> int
Cil.makeLocalVar
and friends.
Must not be used for setting vid: use Cil_const.set_vid
instead.val make_logic_var : string -> Cil_types.logic_type -> Cil_types.logic_var
val make_logic_info : string -> Cil_types.logic_info