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.