module VAR:sig
..end
type
t = {
|
var_vid : |
|
var_base : |
|
var_tau : |
typepool =
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