Module LogicRaw.VAR


module VAR: sig .. end


type t = {
   var_vid : int;
   var_base : string;
   var_tau : LogicTau.tau;
}
type pool = int Pervasives.ref 
val pool : unit -> int Pervasives.ref
val basename : t -> string
val tau_of_var : t -> LogicTau.tau
val fresh : int Pervasives.ref -> string -> LogicTau.tau -> t
val freshen : int Pervasives.ref -> t -> t
val different : t -> t -> bool
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val pretty : Format.formatter -> t -> unit