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