Module GenVars


module GenVars: sig .. end
Module that provides a generic implemention for variables.

exception EUnion of string
module type IMG = sig .. end
Module type for the image of the map assigning variables to values.
module type PREFIX = sig .. end
module type OBSERVER = sig .. end
Module type that defines the observer
module type STATE = sig .. end
module type VAR_WITHOUT_IMG = sig .. end
This module type is the signature of the typevars without the image operations.
module type VAR = sig .. end
This module type is the signature of the typevars.
module type CVAR = functor (Obs : OBSERVER) -> VAR 
  with type obs = Obs.t
module type MAKE = functor (Pre : PREFIX) -> functor (Obs : OBSERVER) -> functor (Img : IMG) -> functor (State : STATE  with type obs = Obs.t) -> VAR 
  with type obs = Obs.t 
with type img = Img.t
Signature of the functor
module Make: MAKE 
Implemenation of the type variables.