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