sig
  type obs
  type t
  val create : unit -> GenVars.VAR_WITHOUT_IMG.t
  val compare : GenVars.VAR_WITHOUT_IMG.t -> GenVars.VAR_WITHOUT_IMG.t -> int
  val total_ord :
    GenVars.VAR_WITHOUT_IMG.t -> GenVars.VAR_WITHOUT_IMG.t -> int
  val add_alias :
    GenVars.VAR_WITHOUT_IMG.t -> GenVars.VAR_WITHOUT_IMG.t -> unit
  val do_normalize : GenVars.VAR_WITHOUT_IMG.t -> unit
  val add_observer :
    GenVars.VAR_WITHOUT_IMG.obs -> GenVars.VAR_WITHOUT_IMG.t -> unit
  val remove_observer :
    GenVars.VAR_WITHOUT_IMG.obs -> GenVars.VAR_WITHOUT_IMG.t -> unit
  val string_of : GenVars.VAR_WITHOUT_IMG.t -> string
  val reset : unit -> unit
  val get_all_ts : unit -> GenVars.VAR_WITHOUT_IMG.t list
end