sig
  type t
  val compare : GenVars.OBSERVER.t -> GenVars.OBSERVER.t -> int
  val string_of : GenVars.OBSERVER.t -> string
  val fire : GenVars.OBSERVER.t -> unit
end