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