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