Module Fol.Var


module Var: sig .. end
Fol Variable definition

type t = string * int option * Formula.tau * Cil_types.logic_type option 
val var_type : 'a * 'b * 'c * 'd -> 'c
val var_name : string * int option * 'a * 'b -> string
val basename : 'a * 'b * 'c * 'd -> 'a
val kind_of_var : 'a * 'b * Formula.tau * Cil_types.logic_type option -> Formula.kind
val var_counter : int Pervasives.ref
val check_cpt : int -> unit
val fresh_named_var : 'a -> 'b -> 'a * int option * 'b * 'c option
val fresh_var : 'a * 'b * 'c * 'd -> 'a * int option * 'c * 'e option
val mk : 'a -> int option -> 'b -> 'c -> 'a * int option * 'b * 'c
val ident_named_var : 'a -> int -> 'b -> 'a * int option * 'b * 'c option
val equal : 'a * 'b * 'c * 'd -> 'a * 'b * 'e * 'f -> bool
val compare : String.t * 'a option * 'b * 'c -> String.t * 'a option * 'd * 'e -> int