module Cil_const:Smart constructors for some CIL data typessig
..end
val voidType : Cil_types.typ
module CurrentLoc:State_builder.Ref
with type data = location
Cil.CurrentLoc
)
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 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