module type Var =sig..end
type
val pp : Format.formatter -> t -> unit
val show : t -> string
val typ : t -> [ `TyInt | `TyReal ]
val compare : t -> t -> int
val symbol_of : t -> Syntax.symbol
val of_symbol : Syntax.symbol -> t option