package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Module `Interlang.Varinfo`

type t = private

| Fresh_varinfo of {
1. id : int;
2. ty : Frama_c_kernel.Cil_types.typ;
3. name : string;
4. 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 : Format.formatter -> t -> unit