Frama-C:
Plug-ins:
Libraries:

Frama-C API - Varinfo

type t = private
  1. | 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

    *)
  2. | Logic_varinfo of Frama_c_kernel.Cil_types.varinfo
    (*

    reference to a pre-existing logic variable

    *)
val pretty : Stdlib.Format.formatter -> t -> unit