Module type GenVars.CVAR

module type CVAR = functor (Obs : OBSERVER) -> VAR 
  with type obs = Obs.t

Parameters:

Obs : OBSERVER

include GenVars.VAR_WITHOUT_IMG

type img

The image

val add_img : img -> t -> unit

extends the image of the mapping from type variables to types

val get_img : t -> img option

returns the image