sig
  type t
  val of_string : string -> Variable.t
  val to_string : Variable.t -> string
  val compare : Variable.t -> Variable.t -> int
  val equal : Variable.t -> Variable.t -> bool
end