Interlang.Varinfo
type t = private
| Fresh_varinfo of {
id : int;
ty : Frama_c_kernel.Cil_types.typ;
name : string;
origin : Frama_c_kernel.Cil_types.term;
}
logic variable created in the generation stage
*)| Logic_varinfo of Frama_c_kernel.Cil_types.varinfo
reference to a pre-existing logic variable
*)val fresh :
origin:Frama_c_kernel.Cil_types.term ->
string ->
Frama_c_kernel.Cil_types.typ ->
t
val logic : Frama_c_kernel.Cil_types.varinfo -> t
val pretty : Stdlib.Format.formatter -> t -> unit