Module type GenVars.OBSERVER

module type OBSERVER = sig .. end

Module type that defines the observer

type t

type of the observer

val compare : t -> t -> int

comapres two observers

val string_of : t -> string

string representation of the observer

val fire : t -> unit

this method is called if the image of the variable changes